[過去ﾛｸﾞ] 基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？ (645ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
34: 2024/05/23(木)03:50:22.62 ID:57Sqch+C(6/218) AAS
結論
論文の結果を踏まえると、自然言語を用いて論理的な、あるいは曖昧なことを主張した場合でも、その主張が明確な形式体系に翻訳可能である限り、GÖDELの第一不完全性定理の適用を逃れることは不可能です。形式体系において、証明できない真の命題が必ず存在するため、自然言語の論理的主張や曖昧な表現も同様の制約を受けます。
したがって、この論文は、自然言語での主張が形式体系に組み込まれることでG1の適用を受けることを示し、論理的または曖昧な表現がその適用を逃れることが不可能であることを裏付けています。
www.cambridge.org/core/services/aop-cambridge-core/content/view/00708CB41B2D7BF7D6DB075F54B37DE1/S107989862000044Xa.pdf/current-research-on-godels-incompleteness-theorems.pdf
228: 2024/05/23(木)14:10:17.62 ID:57Sqch+C(152/218) AAS
博士は一定期間ガチれば飯食えるレベルでわかる
572: 2024/07/08(月)02:36:10.62 ID:6Abkvrh/(1) AAS
ちょっと今日は下げた
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.024s