[過去ﾛｸﾞ] Inter-universal geometry と ABC 予想 46 (1002ﾚｽ)
上下前次1-新

---

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

---

143: 2020/04/04(土)23:34 ID:3A0p3doi(14/14) AA×
>>142


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
143: [sage] 2020/04/04(土) 23:34:01 ID:3A0p3doi コンピューターで数学ができるかどうかはソフトウェアの問題であってハードウェアの問題じゃないよ >>142 そりゃそうだけど別々の公理系では意味論が違うんだから翻訳できなきゃ同一視できないでしょ 要するに高次の理解がないと具体的に結びつけられない IUTでも似たような話は出てくる http://rio2016.5ch.net/test/read.cgi/math/1585967607/143
コンピューターで数学ができるかどうかはソフトウェアの問題であってハードウェアの問題じゃないよ そりゃそうだけど別の公理系では意味論が違うんだから翻訳できなきゃ同一視できないでしょ 要するに高次の理解がないと具体的に結びつけられない でも似たような話は出てくる

---

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

---

あと 859 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.028s