The metamorphoses of the calculus. An amazing history of mathematics
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)
- scientific article; zbMATH DE number 4125356 (Why is no real title available?)
- scientific article; zbMATH DE number 48341 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 1860669 (Why is no real title available?)
- 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)
