The Collected Works Of Alonzo Church
As a colleague of Alonzo Church, Tyler Burge promised to publish a definitive collection of the famous logician’s work. After 25 years of gathering and editing, and 16 more years of circumventing practical obstacles, his efforts culminated in the recently published book entitled The Collected Works of Alonzo Church (MIT Press, April 2019).
“I am pleased and relieved to have finally made this collection available to the intellectual world. Church was, I think, in many ways philosophically equal, even superior to his more celebrated philosophical contemporaries— Carnap and Quine. Among mathematical logicians of his generation, only Gödel was superior. Church’s work in logic laid the groundwork for the computer revolution,” said Burge.
Edited by Burge and Herb Enderton, the collection features Church’s writings, articles, letters, and unpublished works. Professor Church was a member of the UCLA Department from 1967 to 1990, and was one of the 20th century’s most influential figures in mathematical logic and philosophy.