無限と連続 ―現代数学の展望― 遠山啓著 1952/05/10 岩波新書
古い本たぶん、友人にもらった本です。ぼろぼろです。縁がすり減っていて、ページを捲るのも一苦労です。舊漢字ですが、旧仮名遣いではないので、それ...
古い本たぶん、友人にもらった本です。ぼろぼろです。縁がすり減っていて、ページを捲るのも一苦労です。舊漢字ですが、旧仮名遣いではないので、それ...
『ゲーデルは何を証明したか―数学から超数学へ』 として1998年に新版が出ています。ゲーデル入門書としてはスタンダードなようです。...
対談 「藤原 でも、小説とか詩とか読みますと、感激することがありますね。それは人類のために役立っちゃってるんですよ。残念ながら。(...
1+1=2『ヨビノリ』で「1+1=2の証明」というのを観ました。ペアノの公理を利用するものです(証明の具体的な内容は省略します)。そこで、「...