计算机------数学大道上顺便摘得的果实

计算机作为人类历史上最伟大的发明之一，我们一直称之为科技的进步，但是这本书告诉我们，这不过是数学家们在追求终极真理的道路上顺便摘得的果实而已。
计算机不仅仅是一大堆二极管三极管，更重要的是二极管和三极管怎么能构成这么一个神奇的东西，谁说可以有这样一个神奇的东西？机器怎么才能“想”？“想”是什么？逻辑是什么？
本书展示给我们数学家在思考什么是“逻辑”这个问题时给出的答案。
答案是逐渐浮出水面的，本书展示了数学上这样的一种飞跃：从有限到无限，从构造性的决定的到非构造性的抽象的。
这种思想上的飞跃正是数学超越于自然科学的标志，我们不考虑现实，我们只考虑可能，考虑可以存在。

向闭上眼睛前行的大师们致敬。