[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ2 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
580(1): 2023/03/19(日)10:03 ID:+PWDAiC2(14/19) AAS
>>571
不完全性定理は、
「ある真理があり、それはどんな体系でも証明できない」
ということを主張するものではない
命題が充足可能であれば、
その命題を定理として証明するような体系は
もちろん構築できる（トートロジーだが）
省11
585(1): 2023/03/19(日)10:50 ID:7NhejE26(7/14) AAS
>>580
>その意味では、人の脳で生涯の間に処理できるよりも
>遥かに多数の文字で定義された体系の定理は
>人には到底証明不能である
工学的には、それ古代ギリシャのソクラテスの”無知の知”類似だろ？
人類に必要な”知”＝定理は、まだまだ有限の体系の中に存在するはずだし
有限の文字で扱える無限も、実際には存在する（例 カントール）
省8
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s