摘要:题意: 关于邱奇-图灵论题的一点思考 这道题起源于计算机科学史上一个非常著名的问题——邱奇-图灵论题,这个论题是可计算性理论的基石,关于它的思考与证明几乎贯穿了整个计算机科学史,涵盖了数学、算法理论、数学逻辑学甚至哲学上的广大深刻内容,直至今日还不断有讨论的声音。今天因为这题去详细了解了一下邱奇-图 阅读全文
posted @ 2019-01-17 17:50 DCDCBigBig 阅读 (239) 评论 (1) 编辑