竹内外史(1926-)数学基礎論学者・竹内外史(がいし)は1926年1月25日、石川県に生まれました。1947年に東京大学数学科を卒業、同大助手、教養部講師を経て、1952年に東京教育大学(現つくば大学)助教授、1956年に理学博士号を取得して、1962年に同大教授。そして1966年にアメリカに渡りイリノイ大学教授。現在は退官して同大名誉教授の地位にあります。この間、1959-60, 66-68, 71-72年にプリンストン大学高級研究所員も務めました。 数学基礎論というのは、19世紀末に発見された重大な数理学上の矛盾「カントールのパラドックス」を契機に生まれました。このパラドックスは次のようなものです。今、xという集合を次のように定義する。 x = {x|xはxに属さない} さて、この時 x がxにもし属すとしたら、xは「xはxに属さない」という仮定を満足している筈だから、つまりxはxに属さないことになる。し
