私の認識。 Kripke - KPのKの人 Scott - 「可測基数があるとV=Lは成り立たない」を証明した人 ダメじゃん。いや、両方とも哲学やっているということは知っていましたが。 集合論者で哲学をやっている人といえば、Donald Martinが真っ先に思い浮かびます。Mar…

世にも美しい数学入門。 - 超弦理論解明への道 うーん、これだけだとまるでゲーデルの不完全性定理が間違っているように聞こえるのですが。本にはどう書いてあるのでしょうか？多分、Shoenfield absoluteness theoremがあるのでGoldbach予想の真偽は強制法と…

ゲーデルの最初の大きい結果はゲーデルの完全性定理(completeness theorem)というものだそうです。ぶっちゃけていえば、ある論理式の集合Γを満たす全てのモデルである論理式φが成り立つのならば、Γからφが証明できるというものだそうです。ヒルベルトが形式…