怎样深入地理解计算理论、程序设计语言这些基础理论对现实中程序设计的影响

推荐两个:《图灵的秘密》 和《哥德尔,埃舍尔,巴赫》。不过建议你还是找门国外名牌大学的课系统学一下,否则你对这个领域永远都会停留在不明觉厉的层面。只知道停机问题什么的概念的话,除了装b一点用都没有。
■网友
康托尔、哥德尔、图灵——永恒的金色对角线(rev#2)
■网友
说几个有些让我觉得有趣的结论。1:有限状态机每一步都要判断。这个相当于程序设计语言里的条件判断语句。2:前置运算符比中间运算符的记法好。因为可以避免计算优先级的问题。3:上面提到的两种记法都可以记成函数形式。但不够简洁。4:为什么要从有限状态机开始呢?5:递归就是自身重复自己。但你不可能同时踏入同一条河流,所以,时间上是不一样的,只是有一样的结构而已。可以说是同一个函数在不同的时间上。可以用frame描述概念上会更清晰。


    推荐阅读