Computation, Proof, Machine
-10%
portes grátis
Computation, Proof, Machine
Mathematics Enters a New Age
Roman, Marion; Guillot, Pierre; Dowek, Gilles (Ecole Polytechnique, Paris)
Cambridge University Press
05/2015
158
Dura
Inglês
9780521118019
15 a 20 dias
To understand the future of mathematics, this fascinating book returns to its past, tracing the hidden history that follows the thread of computation.
Part I. Ancient Origins: 1. From the prehistory to the Greeks; 2. Two thousand years of computation; Part II. The Age of Reason: 3. Predicate logic; 4. The decision problem; 5. Church's thesis; 6. Lambda-calculus; 7. Constructivity; 8. Constructive proofs and algorithms; Part III. Crisis of the Axiomatic Method: 9. Intuitionistic type theory; 10. Automated proof; 11. Automated proof checking; 12. News from the field; 13. Instruments; 14. The end of axioms?; 15. Conclusion: as we near the end of this mathematical voyage.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
To understand the future of mathematics, this fascinating book returns to its past, tracing the hidden history that follows the thread of computation.
Part I. Ancient Origins: 1. From the prehistory to the Greeks; 2. Two thousand years of computation; Part II. The Age of Reason: 3. Predicate logic; 4. The decision problem; 5. Church's thesis; 6. Lambda-calculus; 7. Constructivity; 8. Constructive proofs and algorithms; Part III. Crisis of the Axiomatic Method: 9. Intuitionistic type theory; 10. Automated proof; 11. Automated proof checking; 12. News from the field; 13. Instruments; 14. The end of axioms?; 15. Conclusion: as we near the end of this mathematical voyage.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
