[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 26 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

261(2): 2018/04/15(日)20:12 ID:MU6FSmgG(12/13) AAS
>>248
>現在は厳格な成文法を求める動きが広がっており

付け加えるなら
それはゲーデルでいう所の完全性の世界で
野球であるとか（バットを三回振ったらアウトなど）部分的な
極めて小さい宇宙の内部でなら成立可能だが
現実社会であるとかある程度以上の豊かさを持つ宇宙ではまず成立不可能

---

262(1): ◆QZaw55cn4c 2018/04/15(日)20:24 ID:nfnRix8g(2/2) AAS
>>261
うーん、ゲーデルの不完全性定理をここで持ち出すのは、ちょっとどうかな？

---

273: 2018/04/15(日)21:47 ID:HtYceaU7(4/5) AAS
>>261
バカ丸出し

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.030s