Login

Corsi, Giovanna

Deduction, Computation, Experiment

Corsi, Giovanna - Deduction, Computation, Experiment, ebook

71,45€

Ebook, PDF with Adobe DRM
ISBN: 9788847007840
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

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

Keywords: PHILOSOPHY / General PHI000000

Author(s)
 
Publisher
Springer
Publication year
2008
Language
en
Edition
1
Category
Philosophy
Format
Ebook
eISBN (PDF)
9788847007840

Similar titles