0152現代数学の系譜 古典ガロア理論を読む
2017/07/14(金) 11:58:45.67ID:8xDmC3Sj>対角線論法が出てくるんだったね、確か・・(^^
正確には、「否定の自己言及」だね(^^
https://blogs.yahoo.co.jp/midnightsunsagain/33694257.html
実は不完全なゲーデルの不完全性定理 2015/8/29 mid***** yahoo ブログ
(抜粋)
この背景(本質)には「否定の自己言及」という、文章・論理的構造と意味・解釈の間の不整合が横たわっている。
通常「自己言及」とだけ呼ばれているが、当ブログではより問題の本質を捉えるため、フィードバックに(発散する)ポジティブと(収束する)ネガティブがあるように、
自己言及にも矛盾を引き起こすものと引き起こさないものがあることを指摘し、区別する。「矛盾の自己言及」と言ってもよい。
一般にパラドクスと呼ばれるものには色々とからくりがあるが、この「否定の自己言及」によるものは数多く存在する。
結局、不完全性定理は、全命題の外側に消え去る。
ここで一つ問題を提起したい。
「ゲーデルの形式的体系において、自己言及を除く命題(すなわち、1変数類記号のマトリクスにおいて対角成分以外の文。不動点以外)の中に、AとnotAのいずれも証明できない文Aが存在するか」
対角線論法の使用禁止!
もしこれが証明されれば、本当に完全な不完全性定理となり、数学は衝撃を受けるだろう。
(引用終わり)