音楽と数学の交差～響きあう音と数～⑫
・「古典数学の矛盾性を前提とすると、その形式体系において内容的には
真であるにもかかわらず証明不可能な命題の例を与えることが出来る。」
つまり、それは
「古典論理学を含む古典数学は、その完全なる言葉をもってしても、実は証明できない、
真とも偽とも判断のつかない命題が存在する。それは永遠に証明できない。」
（不完全性定理） クルト・ゲーテル
・クルト・ゲーテルは
「人間の思考は脳という大変高度な機械のプログラミングするアルゴリズムに還元できる。」
という人間機械論に反し
「人間精神は、いかなる有限機械をも上回る。」
と考えていた。
