［ 内容 ］
“カフェ・ド・ロンリ”へようこそ。
カントルの集合のパラダイス、そこから噴出したパラドックス。
数学をゲームにするための論理式。
巨星ヒルベルトを打ちのめした青年ゲーデルの不完全性定理。
京都のどこかにあるという“カフェ・ド・ロンリ”で弾む会話を聞いているうちに、いつのまにかロマンあふれる集合や論理の世界に引き込まれ、数学の基礎づけをめぐる論争＝数学基礎論論争の一番面白いところが手に取るようにわかります。
［ 目次 ］
第１章 メニュー・集合のパラダイス（みかん一盛り；集合の工作 ほか）
第２章 メニュー・論理ゲーム（火星語で花見？；論理式で花見？ ほか）
第３章 メニュー・数学の基礎についての論争（梅シロップの夏；二〇世紀の夜明け ほか）
第４章 エピローグ・わくわく２１世紀（健康の秋；天高く ほか）
［ 問題提起 ］
［ 結論 ］
［ コメント ］
［ 読了した日 ］
２００８年１２月２１日