書いていたら入れ違いでTAKESANさんがコメント欄を閉じられたので、せっかく書いたものがもったいないというだけの理由で、ここに置きます。 否定しなかったことを肯定と解釈されるとかなわないなあ。単に興味がなかったので答えなかっただけなんですが、誤…

「不完全性定理は『真であるが証明できない文が存在する』ではない」を8割ほど書き上げて多忙のまま放置しているタイミングで、たまたま発見しました。「数学屋のメガネ」2008-09-28（khideaki著）より引用 ゲーデルの定理は、「自然数論において、真であり…

きわめてごく一部でだけ良く知られてことですが、私のこれまでの業績はどれも「ここ掘れ、ワンワン」です。なぜかこれまで誰も研究しなかったテーマをみつけて、基本的な事実のいくつかを証明して、「ここのお宝が埋もれているよ、ワンワン」と鳴き続けます…