[過去ﾛｸﾞ] 0.99999……は１ではない (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
913: 2019/10/08(火)23:56 ID:9PlZmJ52(2/2) AAS
>>910
数理論理学というのをご存知でしょうか
ヒルベルトが作った数学を対象とする数学の一部門ですね
ヒルベルトによると、数学というのは公理から推論規則を通して得られる定理を導出していく作業です
形式主義によれば、数学の主人公は意味を持たない論理式という”記号”です
つまり、正しいか正しくないかというものではないわけですよ
数理論理学では、式変形によりえられる記号列と、意味とを分離します
つまり、あなたが公理が正しい正しくない云々いうのはナンセンスなわけです
公理系のモデルにとっては、公理は正しい、そうでないなら正しくないかもしれません
まあ、安達さんにはわからないと思いますけどね
不完全性定理云々ほざくなら是非とも理解していただきたいものですけど
上下前次1-新書関写板覧索設栞歴
あと 89 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.007s