Logga in

Corsi, Giovanna

Deduction, Computation, Experiment

Corsi, Giovanna - Deduction, Computation, Experiment, e-bok

71,45€

E-bok, PDF, Adobe DRM-skydd
ISBN: 9788847007840
DRM-begränsningar

Skriva utInte tillåtet
Kopiera till urklippInte tillåtet

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

Nyckelord: PHILOSOPHY / General PHI000000

Författare
 
Utgivare
Springer
Utgivningsår
2008
Språk
en
Utgåva
1
Kategori
Filosofi
Format
E-bok
eISBN (PDF)
9788847007840

Liknande e-böcker