教えて ! 偉い人 - Red cat の数学よもやま話のこと。話題になっている議論をペアノの公理系の元でやっているとは思えないのですが。そこでペアノの公理系を引き合いに出すのは回答として正しいのかどうか。元の掲示板見ずに書いてますが(爆)。 まあいずれに…

不完全性定理 - 白のカピバラの逆極限 S.144-3にコメントしている方。少し以下のことを思い出してみると頭が整理されるかもしれません。皆さん、ご存知のことばかりだとは思いますが。 ZF+「ZFが矛盾」のモデル Truthのundefinability 例えば掛け算が存在し…

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

効率 - くるるの数学ノートのコメント欄のこと。なんか書いた方がいいんでしょうが、なんと書いていいやら。効率主義の弊害なんてのはどこにでもある話で、azzu_ksさんの書いていることは正論だと思います。ただ、お金が天から降ってくるわけでもないので、…

しばらく忙しく。まだ忙しいので次の更新もいつになるかわかりませんが。 あ、今後は中の人とくるるをあまり区別しないことにします。面倒になってきましたから(爆)。