「はじめに」から引用する:
本書は,ゲーデルの生誕 100 年を記念して公刊されるシリーズ『ゲーデルと 20 世紀の
論理学 』 全 4 巻の第 1 巻目である.
私は数学の本にはいつも畏敬を持って接している。とくに、論理学(数学基礎論、数理論理学、ロジック)の本についてはそうである。 生半可な理解がかえって真実と遠ざかってしまうからだ。
このページの数式は MathJax で記述している。
書名 | ゲーデルと 20 世紀の論理学 ① ゲーデルの 20 世紀 |
編者 | 田中一之 |
著者 | 田中一之、田中尚夫、鈴木登志雄、飯田隆、竹内外史、八杉満利子 |
発行日 | 2006 年 7 月 27 日 初版 |
発行元 | 東京大学出版会 |
定価 | 3800 円(本体) |
サイズ | A5版 |
ISBN | 4-13-064095-X |
その他 | 草加市立図書館にて借りて読む |
まりんきょ学問所 > 数学の本 > 田中一之(編):ゲーデルと 20 世紀の論理学 ① ゲーデルの 20 世紀