ゲーデル命題のムラゴンブログ

このタグの読者になる 0

定義したら矛盾するとヒルベルトは分かってた

どうやらそうらしいですのや、本を書いた時には確信が無かったがw 例のクォーク命題から構成される中間子文、それはそのままで定義の意味を持つ文字列ですのや、そうやがな、そう。命題の主語を命題の名前にしたら、そうしたら否定命題が否定の意味でなく念押しの意味となりますのやで、拙著『頭が悪いほどデキる物理の本... 続きをみる
やまのかずひさユニバーサルフロンティア理論は世界を救う 2026/04/22 00:00
形式的には矛盾だが意味は矛盾してない命題

拙著『頭が悪いほどデキる物理の本』に書いてありますけどw 数学にはそんな面白い命題が存在する、というか、そんなものが大っぴらに存在したら困るじゃろうということですけど、で、まあ、ゲーデル命題がその一つじゃ、そう。ワシとしたら「命題の主語を命題の名前にしている命題」はその性質を持つことを発見しており、... 続きをみる
やまのかずひさユニバーサルフロンティア理論は世界を救う 2026/01/14 05:11
# 株主優待ブログ
# ホテル