2024-07-24から1日間の記事一覧

「ゲーデルの不完全性定理」の説明擬き

＜ゲーデルの不完全性定理は私たちの「知ったかぶり」がどのようなものかを誰にも腑に落ちる仕方でわかるための格好の一例である。この定理をわかるには実際に途中を省略せずに証明してみることなのだが、それが意外に厄介で、証明の多くの部分は「できる筈…