命令式编程

MR.LHY

上期文章（详见：《一个无法证明的逻辑问题》）中我们讲到了图灵在哥德尔证明了不完备理论之后用图灵机的概念完整地证明了希尔伯特判定性问题，并因此从数学理论中开辟出了计算机科学的分支。但即便是这样，图灵的理论撑起的也仅是计算机领域的半边天。如果把日益兴起的计算机科学比作一个成长的巨人，...