『確かさを求めて』 [本]

刊行当初に原書を買い求めてはいたんだけど、このたび翻訳が出たのをきっかけに読み始めた。

まだ、ほんとうに読み始めたばかりで、話は微積分、解析、そしてそれの根底にある実数についての「確かさ」にまつわる困難や、そしてそれら困難がどう解決されたのか（あるいは、解決ないままになっているのか）を、これ以上ないぐらい分かりやすく、かつコンパクトにまとめてあって、「こんなおもろいのなら、買ったときにすなおに読んでおけばよかった」と後悔することしきり。だって、字面の印象から、とってもelementaryな感じがして、「これならいそいで読むことないか」と思ってしまったんですもの。

繰り返しになるけどまだ読み始めたばかりで、全体についてはまだ未知数な部分は残るけど、数学の基礎をめぐる主要な三流派のうち、論理主義と形式主義に焦点をあて（直観主義があまり扱われていないのは、ジャキントさんによると「直観主義は、数学の基礎に潜む困難を解決せんとするものではなく、端的に『数学』を置き換えようとする試みだから」とのこと）、それほどフォーマルではないにもかかわらず、けっこう深いところまで突っ込んである模様。

というわけで、論理学や数学の基礎について興味がある人にはもちろん、「確かさ」ということについて考えてみたい人にも必読だと思われるので、ぜひ。