O'Reilly logo

Computation, Proof, Machine by Marion Roman, Pierre Guillot, Gilles Dowek

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Chapter Three Predicate Logic

IN THE PREVIOUS CHAPTERS, we focused on a few key events illustrating the enduring problem of computation throughout the history of mathematical practice. We could have explored this issue at greater length: we could have mentioned Pascal’s triangle, Gauss–Jordan elimination, and so forth. We choose, however, to leave this arduous task to historians and proceed to the heart of this book: the metamorphoses of computation in the twentieth century.

In the twentieth century, the notion of computation developed in tandem with that of reasoning, so we will approach the metamorphoses of computation by way of a brief detour through the history of reasoning. So far, we have traced this history up to the point at which the ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required