The Universal Computer: The Road from Leibniz to Turing, Third Edition
暫譯: 普遍計算機：從萊布尼茨到圖靈的道路（第三版）

計算領域變化的驚人速度使人們容易忽視那些開創一切的先驅者。《通用計算機：從萊布尼茨到圖靈的道路》探討了七位傑出數學家的迷人生活、思想和發現。這本書講述了計算機時代那些不為人知的英雄——邏輯學家的故事。

A distinguished prize-winning logician, Martin Davis has had a long career of more than six decades devoted to the important interface between logic and computer science. Born in New York City, he received his Ph.D. from Princeton University in 1950. He spent thirty years at New York University, where he helped found the computer science department. His expertise, combined with his genuine love of the subject and excellent storytelling, make him the perfect person to tell this story. Professor Davis is currently Professor Emeritus at New York University and now lives with his wife of 66 years in Berkeley, California.

一位獲獎的傑出邏輯學家，**馬丁·戴維斯**（Martin Davis）在邏輯與計算機科學之間的重要交界處，擁有超過六十年的長期職業生涯。他出生於紐約市，於1950年獲得普林斯頓大學的博士學位。他在紐約大學工作了三十年，並協助創立了計算機科學系。他的專業知識，加上對這個主題的真摯熱愛和出色的敘事能力，使他成為講述這個故事的最佳人選。戴維斯教授目前是紐約大學的名譽教授，與結婚66年的妻子居住在加利福尼亞州的伯克利。