Corsi, Giovanna
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
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
Keywords: PHILOSOPHY / General PHI000000
- Author(s)
- Corsi, Giovanna
- Lupacchini, Rossella
- Publisher
- Springer
- Publication year
- 2008
- Language
- en
- Edition
- 1
- Category
- Philosophy
- Format
- Ebook
- eISBN (PDF)
- 9788847007840