[B! Logic] koukenのブックマーク

ASL - The Association for Symbolic Logic

All information © Association for Symbolic Logic 2001 341 Mansfield Road, U-1009 Storrs, CT USA 06269-1009 Tel: 860-486-3989 Fax: 860-486-4238

kouken 2006/04/30

Logic
学会

リンク

水のほとり

開設 1998/02/15, 最終更新 2010/10/13 なにがかわったの? (what's new?) → 更新を企画中の暫定版です. 10月13日, 履歴など応急修正しました. すみませんが, 本格的な更新は来年ぐらいまでお待ち下さい. 書きたいことはいろいろあり, デザイン改善, スタイル統一も図りたいのですが, 時間が得られません. メールアドレスはつぎのとおりです. なお, マイぷれすのブログにメール転送フォームと私書箱とがありますので, ご利用下さい. スパム対策で画像にします, あしからず. 読み取りにくいとのご意見がありました. 対策を検討中です.: お客様の部屋

kouken 2006/04/30

Doctor
Logic

リンク

竹内外史(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に属さないことになる。し