竹内外史先生

数学基礎論のイリノイ大学名誉教授・竹内外史先生（91歳）が5/10に永眠されたというニュースを本日知った。

http://www.asahi.com/articles/ASK5H3QXQK5HUBQU007.html?iref=comtop_list_sci_n02

竹内先生の講演を大学時代に聞かせて頂いたことがあり、とても感銘を受けた記憶がある。

ご冥福をお祈りいたします。