Skip to main content Accessibility help
Computation, Proof, Machine
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 2
  • Cited by
    This book has been cited by the following publications. This list is generated based on data provided by CrossRef.

    Velupillai, K. Vela 2018. Proofs and Predictions in Human Problem Solving. Computational Economics,

    Parisi, Luciana 2019. The alien subject of AI. Subjectivity,

  • Export citation
  • Recommend to librarian
  • Recommend this book

    Email your librarian or administrator to recommend adding this book to your organisation's collection.

    Computation, Proof, Machine
    • Online ISBN: 9781139026581
    • Book DOI:
    Please enter your name
    Please enter a valid email address
    Who would you like to send this to *
  • Buy the print book

Book description

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.


'In this pithy, award-winning account of the growing role of computation in mathematics, Gilles Dowek adds further evidence, if any were needed, that the Age of the Algorithm is upon us. A master storyteller, the author takes the reader on an exhilarating journey through the history of mathematics, as he explains, in engaging, vivid prose, why to prove is to compute. A delightful read brimming with big ideas.'

Bernard Chazelle - Princeton University

'An engaging study of the history of computing told from a distinctive perspective. Gilles Dowek examines the traditional axiomatic conception of mathematical proof and argues that the advent of computer-assisted proofs (for example the Appel-Haken proof of the four color theorem, the proof of Hale’s theorem) and the recent development of the proofs-as-programs idea together lead the way to a new conception of proof, one in which computation rather than logical reasoning plays the dominant role. The result is an illuminating challenge to one of the firmest orthodoxies in the foundations of mathematics.'

Michael Detlefsen - University of Notre Dame

‘Dowek’s book is a superb overview of the transformation of mathematics toward becoming a computational science. It is historically rich, philosophically inquisitive and mathematically rigorous.’

Andrew Arana Source: Metascience

Refine List

Actions for selected content:

Select all | Deselect all
  • View selected items
  • Export citations
  • Download PDF (zip)
  • Send to Kindle
  • Send to Dropbox
  • Send to Google Drive
  • Send content to

    To send content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to .

    To send content items to your Kindle, first ensure is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle.

    Note you can select to send to either the or variations. ‘’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

    Find out more about the Kindle Personal Document Service.

    Please be advised that item(s) you selected are not available.
    You are about to send

Save Search

You can save your searches here and later view and run them again in "My saved searches".

Please provide a title, maximum of 40 characters.



Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Book summary page views

Total views: 0 *
Loading metrics...

* Views captured on Cambridge Core between #date#. This data will be updated every 24 hours.

Usage data cannot currently be displayed