The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
()
About this ebook
The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. The Great Formal Machinery Works 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.
Jan von Plato 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 on algebraic logic; and Giuseppe Peano, cofounder of mathematical logic. Von Plato shows how the idea of a formal proof in mathematics emerged gradually in the second half of the nineteenth century, hand in hand with the notion of a formal process of computation. A turning point was reached by 1930, when Kurt Gödel conceived his celebrated incompleteness theorems. They were an enormous boost to the study of formal languages and computability, which were brought to perfection by the end of the 1930s with precise theories of formal languages and formal deduction and parallel theories of algorithmic computability. Von Plato describes how the first theoretical ideas of a computer soon emerged in the work of Alan Turing in 1936 and John von Neumann some years later.
Shedding new light on this crucial chapter in the history of science, The Great Formal Machinery Works is essential reading for students and researchers in logic, mathematics, and computer science.
Related to The Great Formal Machinery Works
Related ebooks
III: Scattering Theory Rating: 0 out of 5 stars0 ratingsThe Logical Foundations of Mathematics: Foundations and Philosophy of Science and Technology Series Rating: 0 out of 5 stars0 ratingsNoncommutative Geometry Rating: 0 out of 5 stars0 ratingsAlgebraic Theory of Numbers. (AM-1), Volume 1 Rating: 0 out of 5 stars0 ratingsProbability Theory: A Historical Sketch Rating: 0 out of 5 stars0 ratingsDimension and Extensions Rating: 0 out of 5 stars0 ratingsAnalytic Properties of Automorphic L-Functions Rating: 0 out of 5 stars0 ratingsVector Bundles - Vol 1: Foundations and Stiefel - Whitney Classes Rating: 5 out of 5 stars5/5Algebraic and Analytic Methods in Representation Theory Rating: 0 out of 5 stars0 ratingsMarkov Processes from K. Itô's Perspective (AM-155) Rating: 0 out of 5 stars0 ratingsLogical Frameworks for Truth and Abstraction: An Axiomatic Study Rating: 0 out of 5 stars0 ratingsThe Theory of Models: Proceedings of the 1963 International Symposium at Berkeley Rating: 0 out of 5 stars0 ratingsBraids, Links, and Mapping Class Groups. (AM-82), Volume 82 Rating: 0 out of 5 stars0 ratingsNonstandard Methods in Stochastic Analysis and Mathematical Physics Rating: 4 out of 5 stars4/5Operators and Representation Theory: Canonical Models for Algebras of Operators Arising in Quantum Mechanics Rating: 3 out of 5 stars3/5Representations of Finite Groups Rating: 0 out of 5 stars0 ratingsDegrees of Unsolvability. (AM-55), Volume 55 Rating: 0 out of 5 stars0 ratingsCombinatorial and Geometric Structures and Their Applications Rating: 0 out of 5 stars0 ratingsScattering Theory, Revised Edition Rating: 0 out of 5 stars0 ratingsHarvey Friedman's Research on the Foundations of Mathematics Rating: 0 out of 5 stars0 ratingsThe Continuum and Other Types of Serial Order Rating: 0 out of 5 stars0 ratingsKähler Metric and Moduli Spaces: Advanced Studies in Pure Mathematics, Vol. 18.2 Rating: 0 out of 5 stars0 ratingsAbstract analytic number theory Rating: 0 out of 5 stars0 ratingsTopics in Commutative Ring Theory Rating: 0 out of 5 stars0 ratingsApplications of Finite Groups Rating: 0 out of 5 stars0 ratingsEtale Homotopy of Simplicial Schemes. (AM-104), Volume 104 Rating: 1 out of 5 stars1/5Invariant Variational Principles Rating: 5 out of 5 stars5/5Introduction to Algebraic K-Theory. (AM-72), Volume 72 Rating: 0 out of 5 stars0 ratingsAlgebra Rating: 4 out of 5 stars4/5
Mathematics For You
Algebra - The Very Basics Rating: 5 out of 5 stars5/5Quantum Physics for Beginners Rating: 4 out of 5 stars4/5The Little Book of Mathematical Principles, Theories & Things Rating: 3 out of 5 stars3/5My Best Mathematical and Logic Puzzles Rating: 5 out of 5 stars5/5Basic Math & Pre-Algebra For Dummies Rating: 4 out of 5 stars4/5Standard Deviations: Flawed Assumptions, Tortured Data, and Other Ways to Lie with Statistics Rating: 4 out of 5 stars4/5Relativity: The special and the general theory Rating: 5 out of 5 stars5/5Real Estate by the Numbers: A Complete Reference Guide to Deal Analysis Rating: 0 out of 5 stars0 ratingsGame Theory: A Simple Introduction Rating: 4 out of 5 stars4/5The Everything Guide to Algebra: A Step-by-Step Guide to the Basics of Algebra - in Plain English! Rating: 4 out of 5 stars4/5Calculus Made Easy Rating: 4 out of 5 stars4/5The Thirteen Books of the Elements, Vol. 1 Rating: 0 out of 5 stars0 ratingsMental Math Secrets - How To Be a Human Calculator Rating: 5 out of 5 stars5/5Limitless Mind: Learn, Lead, and Live Without Barriers Rating: 4 out of 5 stars4/5Flatland Rating: 4 out of 5 stars4/5Introducing Game Theory: A Graphic Guide Rating: 4 out of 5 stars4/5Algebra I For Dummies Rating: 4 out of 5 stars4/5A Mind for Numbers | Summary Rating: 4 out of 5 stars4/5Alan Turing: The Enigma: The Book That Inspired the Film The Imitation Game - Updated Edition Rating: 4 out of 5 stars4/5Is God a Mathematician? Rating: 4 out of 5 stars4/5Algebra I Workbook For Dummies Rating: 3 out of 5 stars3/5See Ya Later Calculator: Simple Math Tricks You Can Do in Your Head Rating: 4 out of 5 stars4/5The Math Book: From Pythagoras to the 57th Dimension, 250 Milestones in the History of Mathematics Rating: 3 out of 5 stars3/5Geometry For Dummies Rating: 5 out of 5 stars5/5The Golden Ratio: The Divine Beauty of Mathematics Rating: 5 out of 5 stars5/5The Math of Life and Death: 7 Mathematical Principles That Shape Our Lives Rating: 4 out of 5 stars4/5
Reviews for The Great Formal Machinery Works
0 ratings0 reviews