Solovay… - kururu_goedel’s diary

Solovay… - kururu_goedel’s diary

んで、『ゲーデルと20世紀の論理学』第4巻でR.SolovayがNFのvariationの整合性の話をやっているというの...概要を表示 んで、『ゲーデルと20世紀の論理学』第4巻でR.SolovayがNFのvariationの整合性の話をやっているというのでちょっと彼のページを見てみる。…なんですかこのMizarを使って自然数全体の集合と自然数のペア全体の集合の間にbijectionがあることを証明してみました、っていうのは。そんなところにまで手を伸ばしますか。不思議な興味の幅の広さを持った人だなぁと。 ついでに言うと、飼っている猫の写真が置いてあるのは普通なんですが、なんで横に置いてある本が"The Interpretation of Quantum Mechanics"なんてのなんですか？ 一回もあったことがないのが残念です。もうチャンスはないだろなぁ。