#不完全性定理 新着一覧
チューリングが挑んだ”不完全性”の証明と､その限界と失望〜暗号の仕組み”その６”
前回｢その5｣では､古代ギリシャのカエサル暗号から換字式暗号が生まれ､これに鍵語を加え､複雑にしたものが”ヴィジュネル暗号”の発明に繋がり､それを解読したバベッジについて述べ
直観に合う方が正しい数学ではないかと疑われる
非標準解析が正しいのじゃないか、と❓-同じ解析学としたら超準の方が直観的に分かり易いがな...
ゲーデルとカントールを統一すればイイ
世界初の数学の統一理論やーｗ-カントールが無限を数えたらオメガのオメガ乗まで出るｗ それ...
不完全性定理は矛盾を含む証明の一種か
あの形の文章は矛盾を合理化してしまうのでｗ-ゲーデル命題はＧ「Ｇは証明デキない」やから自...
『科学革命の構造』、パラダイムシフト、不完全性定理
「世界を言葉で理解している」というよりはむしろ、「言葉で世界を作り上げている」というのは、カントの「物自体」やソシュール言語学なんかでもよく言われる話だよねえ・・・
クォーク命題がすべてを解くカギだった
クォーク命題と中間子文が謎を解きますから！-主語の名前を付けた術後命題をクォーク命題と言...
不完全性定理の意味するところはG⋀￢G
題して『不完全性定理の不完全性』なのじゃｗ-証明デキないのが無矛盾性であって証明デキるの...
渡辺松男『泡宇宙の蛙』の一首鑑賞 ３５
渡辺松男研究２の５（２０１７年１０月実施）『泡宇宙の蛙』（１９９９年） 【白...
なんか不完全性定理とかもう忘れたわ
そもそもカモフラージュみたいなモンｗ-もっともらしい着想は記憶してるけどなｗ クォーク命...
なるほどペアノ公理の不完全性は明らか
ペアノ公理では自然数を一つ一つ定義しますから、-「２は１＋１の解であり１＋１でないのは２...
もしもワシが若き日のゲーデルだったら
そりゃ、やることってモンがありますのやｗ-そら、まず決定不能命題存在を予言するでしょーね...