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