[過去ﾛｸﾞ] 大学学部レベル質問スレ 8単位目 [無断転載禁止]©2ch.net (1002ﾚｽ)
上下前次1-新

---

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

---

558: 2017/10/08(日)16:45 ID:jERVOI3Y(6/6) AA×
>>555


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
558: [sage] 2017/10/08(日) 16:45:39.62 ID:jERVOI3Y >>555 メタ数学が対象とする形式的数学は「証明という行為」を理想化したものだから、 飽くまでも理想化された対象にだけ言及するなら、そういう数学理論だと思っていいんだろうね 数理物理が数学理論であるのと同じ意味で でもメタ数学は形式化されていない生の数学における証明可能性まで主張する（代数幾何でモデル理論を用いたり） 人間が証明を行っているこの宇宙で、まるでZFの公理が成立すると暗に仮定しているかのようだ ZFは納得がいく、多くの人に支持されている等の根拠では済まされない、重大な間違いの可能性を残してると思う 「ZFは宇宙の真理であり、人間の行為もそれに従う」 ここまで言い切ってしまえば、これはこれで一貫した理論になるけども http://rio2016.5ch.net/test/read.cgi/math/1500294768/558
メタ数学が対象とする形式的数学は証明という行為を理想化したものだから 飽くまでも理想化された対象にだけ言及するならそういう数学理論だと思っていいんだろうね 数理物理が数学理論であるのと同じ意味で でもメタ数学は形式化されていない生の数学における証明可能性まで主張する代数幾何でモデル理論を用いたり 人間が証明を行っているこの宇宙でまるでの公理が成立すると暗に仮定しているかのようだ は納得がいく多くの人に支持されている等の根拠では済まされない重大な間違いの可能性を残してると思う は宇宙の真理であり人間の行為もそれに従う ここまで言い切ってしまえばこれはこれで一貫した理論になるけども

---

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

---

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

---

ぬこの手 ぬこTOP 0.032s