Deduction, Computation, Experiment

1. Why Proof? What is a Proof?
Carlo Celluci

2. On Formal Proofs
Andrea Cantini

3. Toy Models in Physics and the Reasonable Effectiveness of Mathematics
Annalisa Marzuoli

4. Experimental Methods in Proofs
Gabriele Lolli

5. Proofs Verifying Programs and Programs Producing Proofs: A Conceptual Analysis
Dag Prawitz

6. The Logic of the Weak Excluded Middle: A Case Study of Proof-Search
Giovanna Corsi

7. Automated Search for Gödel’s Proofs
Wilfried Sieg, Clinton Field

8. Proofs as Efficient Programs
Ugo Dal Lago, Simone Martini

9. Quantum Combing
Mario Rasetti

10. Proofs instead of Meaning Explanations: Understanding Classical vs Intuitionistic Mathematics from the Outside
Dag Westerstahl

11. Proof as a Path of Light
Rossella Lupacchini

12. Computability and Incomputability of Differential Equations
Guido Gherardi

13. Phenomenology of Incompleteness: From Formal Deductions to Mathematics and Physics
Francis Bailly, Giuseppe Longo

DRM-restrictions

Printing: not available
Clipboard copying: not available

Avainsanat: PHILOSOPHY / General PHI000000