23/12/13 08:52:48.65 Wk0uTNeF.net
もしかしてガロア理論に食いついた理由と高階論理に食いついた理由は同じ?
「ぐぬぬ、たしかに任意の代数方程式はべき根だけでは解けぬ・・・
しかし、今やガロア理論がある!(ガロア群を使えば解けるかもしれない)」
「ぐぬぬ、確かに一階論理上の自然数論では証明も反証もできない命題がある 特に自身の無矛盾性はそうだ
しかし、今や高階論理がある!(高階論理を使えばどんな命題も決定可能で、当然自身の無矛盾性も証明できるかもしれない)」
「角の三等分屋」「円積屋」「現代のトマス・ホッブス」でしたか
ジョン・ウォリス役を買って出る人がわらわら出てきそうな悪寒