http://blog.csdn.net/pongba/category/299997.aspx图灵机、可计算性、lambda算子之类的东东...zh-CNFri, 18 Apr 2008 19:13:00 GMT60刘未鹏http://blog.csdn.net/pongba/archive/2006/10/15/1336028.aspxSun, 15 Oct 2006 23:36:00 GMThttp://blog.csdn.net/pongba/archive/2006/10/15/1336028.aspxhttp://blog.csdn.net/pongba/comments/1336028.aspxhttp://blog.csdn.net/pongba/archive/2006/10/15/1336028.aspx#Feedback40http://blog.csdn.net/pongba/comments/commentRss/1336028.aspxhttp://tb.blog.csdn.net/TrackBack.aspx?PostId=1336028哥德尔的不完备性定理震撼了20世纪数学界的天空，其数学意义颠覆了希尔伯特的形式化数学的宏伟计划，其哲学意义直到21世纪的今天仍然不断被延伸到各个自然学科，深刻影响着人们的思维。图灵为了解决希尔伯特著名的第十问题而提出有效计算模型，进而作出了可计算理论和现代计算机的奠基性工作，著名的停机问题给出了机械计算模型的能力极限，其深刻的意义和漂亮的证明使它成为可计算理论中的标志性定理之一。丘齐，跟图灵同时代的天才，则从另一个抽象角度提出了lambda算子的思想，与图灵机抽象的倾向于硬件性不同，丘齐的lambda算子理论是从数学的角度进行抽象，不关心运算的机械过程而只关心运算的抽象性质，只用最简洁的几条公理便建立起了与图灵机完全等价的计算模型，其体现出来的数学抽象美开出了函数式编程语言这朵奇葩，Lisp、Scheme、Haskell这些以抽象性和简洁美为特点的语言至今仍然活跃在计算机科学界，虽然由于其本质上源于lambda算子理论的抽象方式不符合人的思维习惯从而注定无法成为主流的编程语言，然而这仍然无法妨碍它们成为编程理论乃至计算机学科的最佳教本。而诞生于函数式编程语言的神奇的Y combinat<img src ="http://blog.csdn.net/pongba/aggbug/1336028.aspx" width = "1" height = "1" />刘未鹏http://blog.csdn.net/pongba/archive/2006/03/11/621723.aspxSat, 11 Mar 2006 13:48:00 GMThttp://blog.csdn.net/pongba/archive/2006/03/11/621723.aspxhttp://blog.csdn.net/pongba/comments/621723.aspxhttp://blog.csdn.net/pongba/archive/2006/03/11/621723.aspx#Feedback33http://blog.csdn.net/pongba/comments/commentRss/621723.aspxhttp://tb.blog.csdn.net/TrackBack.aspx?PostId=621723...元图灵机的存在性为计算机的诞生点燃了一盏明灯，这是图灵机理论中最漂亮的发现。...<img src ="http://blog.csdn.net/pongba/aggbug/621723.aspx" width = "1" height = "1" />