[過去ﾛｸﾞ] 1=0.999… その10.999… (1001ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
463(3): 2006/01/08(日) 23:03:20 AAS
>>461
「どの(ペアノ算術を再帰的に含み無矛盾な)実数論の形式的体系も
その無矛盾性(Consis)を証明不可能」
という話は、「メリット論」、即ち
「実数の定義に絶対は無く、非論理的な理由でその定義ないしは公理が選ばれる事」
の根拠ではないな。
無矛盾性如何に関わらず、更には自然数論を含んでいるかに関わらず、
定義や公理の取り方に絶対は無い。
それは実数論に限らない。
どの理論にどのような名前を付けるかは自由というだけだ。
ただ>>388のA4は「論理は絶対ではない」という別の話の一つの根拠なので、
別に残しておいても構わないと思う(修正しても構わない)。
465: 2006/01/08(日) 23:20:58 AAS
>>463
なるほどね。了承。
469: 2006/01/09(月) 05:30:16 AAS
>>466
実数の理論の完全性って、実閉体の初等理論のことだろ？
>>463の言ってることにそれで反論してどうなる？
470(6): 2006/01/09(月) 11:13:43 AAS
「メリット論」の本質は
「概念に対する名前の付け方は、事前の了解の下では論理的には自由であり、
非論理的な事情により決定される」
というごく当たり前の事。
「完備アルキメデス順序体」という概念に「実数体」という名前を付けようが
「椅子」という名前を付けようが(紛らわしいが)「複素数体」という名前を付けようが、
事前の了解の下では論理的には自由。
同じく単語「実数体」で意味する概念として「完備アルキメデス順序体」を取ろうが
「朝起きてコーヒーを飲む事」を取ろうが(紛らわしいが)「超準実数体」を取ろうが
事前の了解の下では論理的には自由。
これらは全て信念・メリット・お約束・多数決などの非論理的な事情により決定される事。
「1=0.999…」はこういった非論理的な前提に「100%依拠」して成り立つ式。
この事に対する数学的に意味深い反対意見があるなら是非聞きたい。
この「メリット論」を理解した事で実数の定義を混同し混乱した人がいるなら是非詳しく聞きたい。
だが>>443や>>448のように根拠を示さない意見に意味があるとは思えない。
>>466
実閉体の理論では「nは自然数である」という意味の述語すら書けないから
ペアノ算術は含んでないな。
>>463で意図していたのはZFCや二階算術の事。
実閉体の理論の完全性と「メリット論」はやはり関係無いだろう。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.048s