好书网为大家整理了经典好书《Engines of Logic》中的经典语录,精彩段落及优美句子,重读经典,感悟人生。让读者沉浸在自己的阅读世界里,忘记周围的世界, 与作者一起在另外一个世界里快乐、悲伤、愤怒、平和,欢迎大家阅读~
阿隆佐·丘奇(1903-1995)在繁荣美国的逻辑学研究方面起到了关键性的作用。他创立了颇有影响力的《符号逻辑杂志》(Journal of Symbolic Logic),并且担任编辑长达40多年。另一位著名的美国逻辑学家斯蒂芬·克林(1909-1994)是丘奇的31位博士生之一(我也是其中之一)。
他梦想对一种普遍的人工数学语言和演算规则进行一种百科全书式地汇编,知识的任何一个方面都可以用这种数学语言表达出来,而演算规则则可以揭示这些命题之间的所有逻辑关系。最后,他梦想能够制造出完成这些演算的机器,从而使心灵从创作性的思考中解脱出来。