現代数学の系譜 古典ガロア理論を読む36at MATH
現代数学の系譜 古典ガロア理論を読む36
- 暇つぶし2ch165:命題の外側に消え去る。 ここで一つ問題を提起したい。 「ゲーデルの形式的体系において、自己言及を除く命題（すなわち、1変数類記号のマトリクスにおいて対角成分以外の文。不動点以外）の中に、AとnotAのいずれも証明できない文Aが存在するか」 対角線論法の使用禁止！ もしこれが証明されれば、本当に完全な不完全性定理となり、数学は衝撃を受けるだろう。 (引用終わり)
次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch