Book ID: CBB051353110

Computation, Proof, Machine: Mathematics Enters a New Age (2015)

unapi

Dowek, Gilles (Author)


Cambridge University Press


Publication Date: 2015
Physical Details: 160
Language: English

Computation is revolutionizing our world, even the inner world of the “pure” mathematician. Mathematical methods – especially the notion of proof – that have their roots in classical antiquity have seen a radical transformation since the 1970s, as successive advances have challenged the priority of reason over computation. Like many revolutions, this one comes from within. Computation, calculation, algorithms – all have played an important role in mathematical progress from the beginning – but behind the scenes, their contribution was obscured in the enduring mathematical literature. To understand the future of mathematics, this fascinating book returns to its past, tracing the hidden history that follows the thread of computation. Along the way it invites us to reconsider the dialog between mathematics and the natural sciences, as well as the relationship between mathematics and computer science. It also sheds new light on philosophical concepts, such as the notions of analytic and synthetic judgment. Finally, it brings us to the brink of the new age, in which machine intelligence offers new ways of solving mathematical problems previously inaccessible. This book is the 2007 Winner of the Grand Prix de Philosophie de l'Académie Française.

...More
Reviewed By

Review Andrew Arana (2017) Review of "Computation, Proof, Machine: Mathematics Enters a New Age". Metascience: An International Review Journal for the History, Philosophy and Social Studies of Science (pp. 131-135). unapi

Citation URI
https://data.isiscb.org/isis/citation/CBB051353110/

Similar Citations

Article Michael Lodi; Simone Martini; (2021)
Computational Thinking, Between Papert and Wing (/isis/citation/CBB537510058/)

Chapter Donner, Martin; (2010)
Rekursion und Wissen. Zur Emergenz technosozialer Netze (/isis/citation/CBB001032054/)

Article Stevens, Hallam; (2011)
Coding Sequences: A History of Sequence Comparison Algorithms as a Scientific Instrument (/isis/citation/CBB001034586/)

Book Jeffrey M. Binder; (2022)
Language and the Rise of the Algorithm (/isis/citation/CBB179423817/)

Article Daniel Neyland; (January 2016)
Bearing Account-able Witness to the Ethical Algorithmic System (/isis/citation/CBB408589504/)

Book B. Jack Copeland; Carl J. Posy; Oron Shagrir; (2015)
Computability: Turing, Gödel, Church, and Beyond (/isis/citation/CBB900019272/)

Book Florian Jaton; (2021)
The Constitution of Algorithms: Ground-Truthing, Programming, Formulating (/isis/citation/CBB596244600/)

Article Malte Ziewitz; (January 2016)
Governing Algorithms: Myth, Mess, and Methods (/isis/citation/CBB061486372/)

Article Salem Elzway; (2023)
Armed Algorithms: Hacking the Real World in Cold War America (/isis/citation/CBB933179019/)

Book Andrés Luque-Ayala; Simon Marvin; (2020)
Urban Operating Systems: Producing the Computational City (/isis/citation/CBB430857803/)

Article McAllister, James W.; (2003)
Algorithmic Randomness in Empirical Data (/isis/citation/CBB000340895/)

Article James Justus; Samantha Wakil; (2021)
The algorithmic turn in conservation biology: Characterizing progress in ethically-driven sciences (/isis/citation/CBB088304027/)

Article Böszörmenyi, Laszlo; (2008)
Guest Editor's Introduction: History of Informatics (/isis/citation/CBB000850265/)

Article Duan, Yaoyong; Su, Guoqiang; (2004)
Study on the Relationship between the Extraction of Zengcheng and the Licheng Shisuo (/isis/citation/CBB000401193/)

Authors & Contributors
Ziewitz, Malte
Andrés Luque-Ayala
Jaton, Florian
Elzway, Salem
Michael Lodi
Jeffrey M. Binder
Concepts
Algorithms
Computer science
Mathematics
Computational methods
Methodology
Computers and computing
Time Periods
20th century, late
21st century
Early modern
Modern
Ancient
20th century, early
Places
United States
Europe
China
Asia
Soviet Union
Great Britain
Institutions
Stanford University
Massachusetts Institute of Technology, MIT
Comments

Be the first to comment!

{{ comment.created_by.username }} on {{ comment.created_on | date:'medium' }}

Log in or register to comment