ゲーデル命題の異常定式ぶりったらない

数学では定義をすると矛盾するｗ-Ｇ「Ｇは証明デキない」と置くと否定形はどうなると思いますか？￢Ｇ「Ｇは証明デキる」ですやんか、そうしたら・・・Ｇ⋀￢Ｇはどのような意味になるでしょう？私見で

9人

0

2024年7月15日

不完全性定理は矛盾を含む証明の一種か

あの形の文章は矛盾を合理化してしまうのでｗ-ゲーデル命題はＧ「Ｇは証明デキない」やから自...

3人

0

2023年9月2日

形式論では矛盾だが意味論では無矛盾

そんな命題が存在する、って、知っとる？-ＡＢＣ予想の望月が何に苦労してるかと関係あるのか...

9人

0

2023年8月30日

クォーク命題がすべてを解くカギだった

クォーク命題と中間子文が謎を解きますから！-主語の名前を付けた術後命題をクォーク命題と言...

8人

0

2022年10月9日

なんか不完全性定理とかもう忘れたわ

そもそもカモフラージュみたいなモンｗ-もっともらしい着想は記憶してるけどなｗ　クォーク命...

13人

0

2022年2月25日

ゲーデル命題は命題集合ではないのか

数学体系で証明されない命題の集合では？-すなわち決定不能命題の集合ではないだろーか？　こ...

1人

1

2021年8月20日

G∧￢Gは形式上は矛盾でも意味論的にはそうではない

クォーク命題に中間子文ですのやｗ-21世紀における論理学の大発見ですやろ？　数学というより...

9人

0

2021年1月16日