Engines of Logic
内容简介
Computers are ubiquitous yet to many they remain objects of irreducible mystery. This text looks at the question of how today's computers can perform such a variety of tasks if computing is just glorified arithmetic. The author illustrates how the answer lies in the fact that computers are essentially engines of logic and that their hardware and software embody concepts developed over centuries by logicians. "Engines of Logic" gives the reader a clear explanation of how and why computers work.
......(更多)
作者简介
马丁·戴维斯是计算机科学发展史上的先驱人物，其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一。他是纽约大学库朗数学科学研究所的荣誉退休教授，目前在加州大学伯克利分校做访问学者。
......(更多)
目录
......(更多)
读书文摘
阿隆佐·丘奇（1903-1995）在繁荣美国的逻辑学研究方面起到了关键性的作用。他创立了颇有影响力的《符号逻辑杂志》（Journal of Symbolic Logic），并且担任编辑长达40多年。另一位著名的美国逻辑学家斯蒂芬·克林（1909-1994）是丘奇的31位博士生之一（我也是其中之一）。
他梦想对一种普遍的人工数学语言和演算规则进行一种百科全书式地汇编，知识的任何一个方面都可以用这种数学语言表达出来，而演算规则则可以揭示这些命题之间的所有逻辑关系。最后，他梦想能够制造出完成这些演算的机器，从而使心灵从创作性的思考中解脱出来。
......(更多)
