Info
Deduction, computation, experiment [[electronic resource] ] : exploring the effectiveness of proof / / Rossella Lupacchini, Giovanna Corsi (eds.)
| Deduction, computation, experiment [[electronic resource] ] : exploring the effectiveness of proof / / Rossella Lupacchini, Giovanna Corsi (eds.) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2008 |
| Descrizione fisica | 1 online resource (287 p.) |
| Disciplina |
121.65
511.3 |
| Altri autori (Persone) |
CorsiGiovanna
LupacchiniRossella |
| Soggetto topico |
Evidence
Logic |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-79523-2
9786611795238 88-470-0784-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Why Proof? What is a Proof? -- On Formal Proofs -- Toy Models in Physics and the Reasonable Effectiveness of Mathematics -- Experimental Methods in Proofs -- Proofs Verifying Programs and Programs Producing Proofs: A Conceptual Analysis -- The Logic of the Weak Excluded Middle: A Case Study of Proof-Search -- Automated Search for Gödel’s Proofs -- Proofs as Efficient Programs -- Quantum Combing -- Proofs instead of Meaning Explanations: Understanding Classical vs Intuitionistic Mathematics from the Outside -- Proof as a Path of Light -- Computability and Incomputability of Differential Equations -- Phenomenology of Incompleteness: From Formal Deductions to Mathematics and Physics. |
| Record Nr. | UNINA-9910451494403321 |
| Berlin ; ; New York, : Springer, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Deduction, computation, experiment [[electronic resource] ] : exploring the effectiveness of proof / / Rossella Lupacchini, Giovanna Corsi (eds.)
| Deduction, computation, experiment [[electronic resource] ] : exploring the effectiveness of proof / / Rossella Lupacchini, Giovanna Corsi (eds.) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2008 |
| Descrizione fisica | 1 online resource (287 p.) |
| Disciplina |
121.65
511.3 |
| Altri autori (Persone) |
CorsiGiovanna
LupacchiniRossella |
| Soggetto topico |
Evidence
Logic |
| ISBN |
1-281-79523-2
9786611795238 88-470-0784-4 |
| Classificazione |
100
5,1 CC 3200 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Why Proof? What is a Proof? -- On Formal Proofs -- Toy Models in Physics and the Reasonable Effectiveness of Mathematics -- Experimental Methods in Proofs -- Proofs Verifying Programs and Programs Producing Proofs: A Conceptual Analysis -- The Logic of the Weak Excluded Middle: A Case Study of Proof-Search -- Automated Search for Gödel’s Proofs -- Proofs as Efficient Programs -- Quantum Combing -- Proofs instead of Meaning Explanations: Understanding Classical vs Intuitionistic Mathematics from the Outside -- Proof as a Path of Light -- Computability and Incomputability of Differential Equations -- Phenomenology of Incompleteness: From Formal Deductions to Mathematics and Physics. |
| Record Nr. | UNINA-9910782097503321 |
| Berlin ; ; New York, : Springer, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Deduction, Computation, Experiment : Exploring the Effectiveness of Proof / / edited by Rossella Lupacchini, Giovanna Corsi
| Deduction, Computation, Experiment : Exploring the Effectiveness of Proof / / edited by Rossella Lupacchini, Giovanna Corsi |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Milano : , : Springer Milan : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (287 p.) |
| Disciplina |
121.65
511.3 |
| Altri autori (Persone) |
CorsiGiovanna
LupacchiniRossella |
| Soggetto topico |
Logic
Philosophy Mathematics Philosophy of nature Computer science Logic, Symbolic and mathematical Philosophy of Nature Theory of Computation Mathematical Logic and Foundations |
| ISBN |
1-281-79523-2
9786611795238 88-470-0784-4 |
| Classificazione |
100
5,1 CC 3200 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Why Proof? What is a Proof? -- On Formal Proofs -- Toy Models in Physics and the Reasonable Effectiveness of Mathematics -- Experimental Methods in Proofs -- Proofs Verifying Programs and Programs Producing Proofs: A Conceptual Analysis -- The Logic of the Weak Excluded Middle: A Case Study of Proof-Search -- Automated Search for Gödel’s Proofs -- Proofs as Efficient Programs -- Quantum Combing -- Proofs instead of Meaning Explanations: Understanding Classical vs Intuitionistic Mathematics from the Outside -- Proof as a Path of Light -- Computability and Incomputability of Differential Equations -- Phenomenology of Incompleteness: From Formal Deductions to Mathematics and Physics. |
| Record Nr. | UNINA-9910956629203321 |
| Milano : , : Springer Milan : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||