[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 45 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
544(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/12(火)14:58 ID:jIkDYE6o(8/16) AAS
他スレからだが 転載しておく（＾＾
2chｽﾚ:math
外部ﾘﾝｸ:ja.wikipedia.org
レイモンド・メリル・スマリヤン（Smullyan、1919年5月25日 - 2017年2月6日）は合衆国の数学者
ニューヨーク市のFar Rockawayに生れる。最初は奇術師をしていた。1955年にシカゴ大学から学士を得る。1959年にプリンストン大学から博士号を得る。アロンゾ・チャーチのもとで学んだ数多くの傑出した論理学者の一人
経歴
スマリヤンは博士課程にいるときの1957年に“Journal of Symbolic Logic”に論文を発表し、ゲーデルの不完全性定理が1931年にゲーデルが発表した論文よりも初等的な形で形式系を考察できることを示した
省12
545(1): 2020/05/12(火)15:11 ID:gmSQkuCI(8/14) AAS
>>543
議論ではないですけどね
>>544
スマリヤンについては以下の自伝がおすすめ
「天才スマリヤンのパラドックス人生」 講談社 2004
Some Interesting Memories: A Paradoxical Life
笑えます
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s