[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 45 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
538(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/12(火)13:20 ID:jIkDYE6o(6/16) AAS
レスありがとう（＾＾
>>536
>読んだ結果、これだけに圧縮できると思います
>「（Terence Tao先生の言い分は）IUT成立不成立とは、別の議論と思います」
>同意致しかねます
それはその通り
結論命題Q：”同意致しかねます”
省25
540(1): 2020/05/12(火)13:59 ID:gmSQkuCI(5/14) AAS
>>538
フィンスラーの論文は1926年に出版されています
Paul Finsler, Formale Beweise und Entscheidbarkeit, Mathematische Zeitschrift 25, 676-682, 1926
仮にゲーデルがこの論文を読んでいたとしても、
不完全性定理の証明はゲーデルによるものだと
認められるでしょう
なぜなら証明可能性述語をゲーデルコード化によって
省6
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.185s*