The metamorphoses of the calculus. An amazing history of mathematics
zbMATH Open1161.01001MaRDI QIDQ3537709FDOQ3537709
Authors: Gilles Dowek 
Publication date: 10 November 2008
Recommendations
axiomatic methodFregecut eliminationlambda calculusTuringautomated theorem provingcomputabilityChurch's thesisGentzenconstructibilityKleeneSkolemfour-color-theoremBrowercomputer verificationGödel
Research exposition (monographs, survey articles) pertaining to computer science (68-02) History of computer science (68-03) Research exposition (monographs, survey articles) pertaining to history and biography (01-02) History of mathematical logic and foundations (03-03) Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Proof theory and constructive mathematics (03Fxx) Functional programming and lambda calculus (68N18) Theory of computing (68Qxx) Computability and recursion theory (03Dxx)
Cited In (11)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Survey on Analog Models of Computation
- The Proof is in the Pudding
- Computational logic and set theory. Applying formalized logic to analysis. Foreword by Martin Davis
- How to calculate proofs: bridging the cultural divide
- Computation, proof, machine. Mathematics enters a new age. Translated from the French by Pierre Guillot and Marion Roman
- Bringing mathematics education into the algorithmic age
- Proofs, reasoning and the metamorphosis of logic
- Title not available (Why is that?)
- Building a library of mechanized mathematical proofs: Why do it? And what is it like to do?
This page was built for publication: The metamorphoses of the calculus. An amazing history of mathematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3537709)
