IsisCB Explore

Book ID: CBB051353110

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

Dowek, Gilles (Author)

Cambridge University Press
Publication date: 2015
Language: English

ISBN: 9780521133777

Publication Date: 2015
Physical Details: 160

Outside Links

WorldCat

Google Scholar

Google Books

Computer science Methodology of science; scientific method Methodology Algorithms Mathematics Computational methods 21st century 20th century, late

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

data.isiscb.org/p/isis/citation/CBB051353110

This citation is part of the Isis database.

Citations Indexes

Similar Citations

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

Article Ksenia Tatarchenko; (2023)
Algorithm’s Cradle: Commemorating al-Khwarizmi in the Soviet History of Mathematics and Cold War Computer Science (/p/isis/citation/CBB611906685/)

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

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

Article D. Levesque; J. P. Hansen; (2019)
The origin of computational statistical mechanics in France (/p/isis/citation/CBB058803175/)

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 (/p/isis/citation/CBB001212751/)

Article Giulia Giannini; (2022)
Towards a Computational History of Science: Limitations and Perspectives of an Emerging Research Approach (/p/isis/citation/CBB550458097/)

Article Clare S. Kim; (2023)
The Art and Craft of Mathematical Expression: Computational Origami and the Politics of Creativity (/p/isis/citation/CBB210192335/)

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

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

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

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

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

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

Article Xiaochang Li; (2023)
“There’s No Data Like More Data”: Automatic Speech Recognition and the Making of Algorithmic Culture (/p/isis/citation/CBB996020233/)

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

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

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

Article Sarah Lang; (2022)
A Machine Reasoning Algorithm for the Digital Analysis of Alchemical Language and its Decknamen (/p/isis/citation/CBB423338829/)

Book Theodore G. Striphas; (2023)
Algorithmic culture before the internet (/p/isis/citation/CBB718168705/)