総合的研究 論理学で学ぶ数学――思考ツールとしてのロジック | 旺文社
本書の目的は、数理論理学の記号と方法を、数学自身の理解の深化を目指して実践的に講ずることである。扱う素材は、主として、多くの読者に親しみのある高校数学、あるいは大学入試の問題であり、これらを数理論理学の道具を使って理解しなおすことにより、すでに知っていると思っていた世界が違って見えてくる、という経験の――望むらくは驚愕と感動に満ちた――場を提供しようとするものである。
還暦から古希まで約10年間、数学教育をメインテーマとして思索する好機を与えられたことに感謝して、「数学史」と「数理哲学」の＜実践的な統合＞のために、残された時間を貪欲に使っていきたいと考えている。
専門は、近現代数学史、数理思想史、そして最近は情報科学論。「数学の意味を追いかけていったら、数学史にたどりつき、最近は、進展するICT革命に、数学哲学と数学史の立場から強い関心をもっている」
http://d.hatena.ne.jp/d1021/20170601#1496313627
http://d.hatena.ne.jp/d1021/20170528#1495968376
#科哲
