Jump to ContentJump to Main Navigation
The Great Formal Machinery Works – Theories of Deduction and Computation at the Origins of the Digital Age - Princeton Scholarship Online
Users without a subscription are not able to see the full content.

The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

Jan von Plato


The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. This book draws on original sources and rare archival materials to trace the history of the theories of deduction and computation that laid the logical foundations for the digital revolution. The book examines the contributions of figures such as Aristotle; the nineteenth-century German polymath Hermann Grassmann; George Boole, whose Boolean logic would prove essential to programming languages and computing; Ernst Schröder, best known for his work ... More

Keywords: information age, algebraic logic, programming language, deduction, computation, digital revolution, mathematical logic, incompleteness theorems, algorithmic computability

Bibliographic Information

Print publication date: 2017 Print ISBN-13: 9780691174174
Published to Princeton Scholarship Online: May 2018 DOI:10.23943/princeton/9780691174174.001.0001


Affiliations are at time of print publication.

Jan von Plato, author
University of Helsinki