2008

Deduction, Computation, Experiment

Exploring the Effectiveness of Proof

Editors:

ISBN: 978-88-470-0783-3 (Print) 978-88-470-0784-0 (Online)

Table of contents (13 chapters)

  1. Front Matter

    Pages I-XII

  2. No Access

    Book Chapter

    Pages 1-27

    Why Proof? What is a Proof?

  3. No Access

    Book Chapter

    Pages 29-48

    On Formal Proofs

  4. No Access

    Book Chapter

    Pages 49-64

    Toy Models in Physics and the Reasonable Effectiveness of Mathematics

  5. No Access

    Book Chapter

    Pages 65-79

    Experimental Methods in Proofs

  6. No Access

    Book Chapter

    Pages 81-94

    Proofs Verifying Programs and Programs Producing Proofs: A Conceptual Analysis

  7. No Access

    Book Chapter

    Pages 95-116

    The Logic of the Weak Excluded Middle: A Case Study of Proof-Search

  8. No Access

    Book Chapter

    Pages 117-140

    Automated Search for Gödel’s Proofs

  9. No Access

    Book Chapter

    Pages 141-157

    Proofs as Efficient Programs

  10. No Access

    Book Chapter

    Pages 159-174

    Quantum Combing

  11. No Access

    Book Chapter

    Pages 175-194

    Proofs instead of Meaning Explanations: Understanding Classical vs Intuitionistic Mathematics from the Outside

  12. No Access

    Book Chapter

    Pages 195-222

    Proof as a Path of Light

  13. No Access

    Book Chapter

    Pages 223-242

    Computability and Incomputability of Differential Equations

  14. No Access

    Book Chapter

    Pages 243-271

    Phenomenology of Incompleteness: From Formal Deductions to Mathematics and Physics

  15. Back Matter

    Pages 273-279