基礎論なぜなにスレッド その{φ,{φ},{φ,{φ}}}

このような人の書き込みは多いし、まあもっとすごいのはいくらでも
あるが、それらしいことを書いているが数学としてわかっているわけ
ではないということが顕著になっているので指摘しておこう。
171 の表現可能性に関することである。これはこのスレッドでの書き込
みにあるように semantics と syntax とつなぐ概念で、不完全性定理
では大切な概念である。171 の記述は semantics における x_i と対応する
syntax の numeral が同じ記号となっているが印刷物では間違わない
ように違う字体の文字あるいは下線、上線などを使う。しかし、これは
その定義を意味あるものとして理解しようとすれば、これ以外の理解はで
きないものである。
さて 225 でこれをコピーした人はこれが決定可能性と関係があるという
解釈を展開する。決定可能性というのは言葉は「肯定あるいは否定が証
明できる」という意味、あるいは「無限個の命題があるとき、その真偽
を決める、定まった手続きがある」という意味である。いくらなんでも
第一の意味では受け取れないであろうから第二の意味で解釈したのであ
ろうと思う。しかし、その理解も想像を絶する。まあ相手がデンパだと
思っているということで割り引いて話を進めるが、232,233,235に至り、
ほぼ正しい理解に到達したらしい。
この前原本は、ゲーデルの原論文の内容とそれほど違いはないの
は著者がいってるとおりで、上記の概念は不完全性定理の証明がわかって
いる人は当然理解していることである。つまり、この書き込みをしている
人は全くこれを理解していなかったのだ。そしてなおかつ、不完全性定理
についての見解を披露し続けてきていたわけである。