Language:  English  |  中文

Age of Significance

Brian Cantwell Smith

April 1, 2010: Over the fall of 2010, facilities will be introduced to support live online commentary, critique, annotation, reference and engagement with these materials. A membership capability will also be provided, supporting notification of the publication of new material, automatic downloading of chapters as they are published, etc.

Introduction
Volume I Groundwork
1 Project
2 Method
3 Meaning
4 Mechanism
5 Logic
6 Process
7 Formality
8 Prospects
Volume II Formal Symbol Manipulation
Volume III Effective Computability
Volume IV Correspondence Continuum
Volume V Information Processing
Volume VI Digital State Machines
Volume VII The World from Within