Solovay…

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