Dowek, Gilles (Author)
Cambridge University Press
Publication date: 2015
Language: English
Physical Details: 160
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.
...MoreReview 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).
Similar Citations
Article
Michael Lodi;
Simone Martini;
(2021)
Computational Thinking, Between Papert and Wing
Article
Ksenia Tatarchenko;
(2023)
Algorithm’s Cradle: Commemorating al-Khwarizmi in the Soviet History of Mathematics and Cold War Computer Science
Chapter
Donner, Martin;
(2010)
Rekursion und Wissen. Zur Emergenz technosozialer Netze
Article
Stevens, Hallam;
(2011)
Coding Sequences: A History of Sequence Comparison Algorithms as a Scientific Instrument
Book
Meredith Broussard;
(2024)
More than a Glitch: Confronting Race, Gender, and Ability Bias in Tech
Article
D. Levesque;
J. P. Hansen;
(2019)
The origin of computational statistical mechanics in France
Book
McKay, Sinclair;
(2010)
The Secret Life of Bletchley Park: The History of the Wartime Codebreaking Centre by the Men and Women Who Were There
Article
Clare S. Kim;
(2023)
The Art and Craft of Mathematical Expression: Computational Origami and the Politics of Creativity
Book
B. Jack Copeland;
Carl J. Posy;
Oron Shagrir;
(2015)
Computability: Turing, Gödel, Church, and Beyond
Book
Jeffrey M. Binder;
(2022)
Language and the Rise of the Algorithm
Article
Giulia Giannini;
(2022)
Towards a Computational History of Science: Limitations and Perspectives of an Emerging Research Approach
Book
Florian Jaton;
(2021)
The Constitution of Algorithms: Ground-Truthing, Programming, Formulating
Article
Salem Elzway;
(2023)
Armed Algorithms: Hacking the Real World in Cold War America
Article
Xiaochang Li;
(2023)
“There’s No Data Like More Data”: Automatic Speech Recognition and the Making of Algorithmic Culture
Article
Ksenia Tatarchenko;
(2019)
Thinking Algorithmically: From Cold War Computer Science to the Socialist Information Culture
Article
Daniel Neyland;
(January 2016)
Bearing Account-able Witness to the Ethical Algorithmic System
Article
Malte Ziewitz;
(January 2016)
Governing Algorithms: Myth, Mess, and Methods
Article
James Justus;
Samantha Wakil;
(2021)
The algorithmic turn in conservation biology: Characterizing progress in ethically-driven sciences
Article
McAllister, James W.;
(2003)
Algorithmic Randomness in Empirical Data
Article
Böszörmenyi, Laszlo;
(2008)
Guest Editor's Introduction: History of Informatics
Be the first to comment!