数学基礎論のイリノイ大学名誉教授・竹内外史先生（91歳）が5/10に永眠されたというニュースを本日知った。http://www.asahi.com/articles/ASK5H3QXQK5HUBQU007.html?iref=comtop_list_sci_n02竹内先生の講演を大学時代に聞かせて頂いたことがあり、とても感…