いろいろ混乱ばかりさせて済まないと思っている・・

当方は自分が考えてきた途中を削除しません！ . . . 本文を読む

ゲーデル命題はカリー文じゃないのかな？

こりゃ、凄い・・、ひょっとしたらフィールズ賞以上ネタだ・・。 . . . 本文を読む

「Ｇは証明できない」を「Ｇ⇒証明できない」にする方法

この手法が論理学会では禁じ手なんだそうだが・・、 . . . 本文を読む

ま、不完全性定理そのものを否定できた訳じゃないからな・・

数学は不完全と言えば不完全、しかし、その理由は「数学では全称命題を否定できる」のが原因でした・・。 . . . 本文を読む

あああ～あっ、痛恨の計算ミスがあああ～あっ・・・（訂正記事）

いや、わりーわりー！！！ . . . 本文を読む

カリーパラドクスの定式には反論が有るんだよなあ～！

クォークとレプトンで併せてフェルミオン命題と行くとしよう・・。 . . . 本文を読む

不完全性定理、遂に破れる・・

クルト・ゲーデル、破れたり！ . . . 本文を読む