月別: 2018年1月

数学セミナー2018年2月号

特集◎竹内外史と数学基礎論

解析学の基礎付けをはじめ,数学基礎論の分野で偉大な足跡を残し,2017年5月に逝去した竹内外史氏.今回は思い出も振り返りながら,氏が切り拓いた道を紹介する.

竹内外史氏の思い出◎一松 信

“竹内の証明論”における有限の立場◎八杉滿利子

今は昔の竹内物語◎難波完爾

竹内先生の証明論◎新井敏康

竹内先生の数学的世界観/量子論理に基づく数学◎小澤正直

竹内先生とロジック◎岡田光弘

[記事再録]
日本の数学基礎論・むかしと今/国際シンポジウムに出席して◎竹内外史

[記事再録]
夕焼けにも似て……◎竹内外史

フィボナッチの主題による変奏曲IV◎小野 孝