ふむふむ・・・
アインシュタインなんかはゲーデルとかに興味持ちそうだけど何も論評してないみたいだね。
それにしても、ライプニッツといい、ヒルベルトといい、ヨーロッパの数学者たちは普遍数学みたいなデカイ夢をよく見るね。
アリストテレス以来の伝統かな？完璧で整合的で広大な論理的世界への夢・・・
日本人は、「なるようになる」って世界観だから、そんなような夢はあまり見ないようだけど。