[過去ﾛｸﾞ] Interｰuniversal geometryとABC予想(応用スレ)51 (1002ﾚｽ)
上下前次1-新

---

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

---

724: 2021/02/19(金)14:04 ID:46Fge3L7(11/101) AA×


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
724: [sage] 2021/02/19(金) 14:04:29.55 ID:46Fge3L7 ちなみに公理に基づいて定理を証明するのは計算機にも可能である つまり選択公理が計算機に扱えないということはない もちろん、選択公理でその存在が主張されている選択関数を 計算機でプログラミング可能かという意味ならそんなことはないが そもそも「実施可能でなければ正しくない」とかいう原理は数学にはない （「実施可能でないなら意味がない」というのは実際的な判断でしかない） http://rio2016.5ch.net/test/read.cgi/math/1610452199/724
ちなみに公理に基づいて定理を証明するのは計算機にも可能である つまり選択公理が計算機に扱えないということはない もちろん選択公理でその存在が主張されている選択関数を 計算機でプログラミング可能かという意味ならそんなことはないが そもそも実施可能でなければ正しくないとかいう原理は数学にはない 実施可能でないなら意味がないというのは実際的な判断でしかない

---

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

---

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

---

ぬこの手 ぬこTOP 0.027s