[過去ﾛｸﾞ] 基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？ (645ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
59(1): 2024/05/23(木)06:36 ID:HRzgfUWs(6/33) AAS
数学も科学も己の無矛盾性すら証明できない
ゲンツェンは確かに自然数論の無矛盾性を証明した
しかしそれは自然数論に含まれない前提を用いている
このことだけで無意味だというつもりはないが
無矛盾●違いな人の目標は達成していない
・・・まあその目標が●ってますがね
62: 2024/05/23(木)06:38 ID:57Sqch+C(27/218) AAS
>>59
ゲーデル完全な体系は現実世界の説明には使えない
だって現実と比較するまでもなく無矛盾ということは現実世界と無関係なのだからその体系では現実世界を説明するモデルは作れない
現にゲーデル完全ではユークリッド幾何学すら作れない>>44
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.021s