[過去ﾛｸﾞ] 基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？ (645ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
4(1): 2024/05/17(金)07:55:12.65 ID:vVXwKdix(1) AAS
>「ゲーデルの不完全性定理は間違った解説が多い」
初級の誤り
「証明可能性と真偽定義を同一視して、不完全性定理を嘘つきパラドックスと誤解する」
証明可能性述語は証明の定義から原始帰納的述語として記述できる
そしてそのためにゲーデル数化が有効であるが、
実際に証明可能性述語を原始帰納的述語として記述するのは大変退屈である
小賢しい人はここをすっとばして対角化によるトリックの話をしたがるが
省7
251(1): 2024/05/23(木)15:56:41.65 ID:57Sqch+C(166/218) AAS
>>248
脳障害って文字が読めないの？
俺がいつこの分野を完璧にしたと言った？
534(1): 2024/05/25(土)17:34:16.65 ID:rf0C8hjS(1/4) AAS
本当に学歴があるとも思えんな
知性を全く感じない
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.199s*