[過去ﾛｸﾞ] Interｰuniversal geometryとABC予想(応用スレ)51 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
724: 2021/02/19(金)14:04 ID:46Fge3L7(11/101) AAS
ちなみに公理に基づいて定理を証明するのは計算機にも可能である
つまり選択公理が計算機に扱えないということはない
もちろん、選択公理でその存在が主張されている選択関数を
計算機でプログラミング可能かという意味ならそんなことはないが
そもそも「実施可能でなければ正しくない」とかいう原理は数学にはない
（「実施可能でないなら意味がない」というのは実際的な判断でしかない）
上下前次1-新書関写板覧索設栞歴
あと 278 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.607s*