Kloof Booksellers & Scientia Verlag

ISBN 9780691174174

Uitgever Princeton, NJ : Princeton University Press, [2017]. Hardcover. Dustjacket. viii,377 pp. Conditie: als nieuw

Taal Maak uw keuze

Categorie -

Meer info Conditie: als nieuw. RECHT

Extra informatie - 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. Jan von Plato examines the contributions of figures such as Aristotle; the 19th-century German polymath Hermann Grassmann; George Boole, whose Boolean logic would prove essential to programming languages and computing; Ernst Schroder, 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 19th century, hand in hand with the notion of a formal process of computation.