介绍图灵机和哥德尔定理等和一些数学逻辑常识。 这个翻译版本已经不再出版与喜好数学的亲们分享。