Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
The Art of Science : From Perspective Drawing to Quantum Randomness / / edited by Rossella Lupacchini, Annarita Angelini
| The Art of Science : From Perspective Drawing to Quantum Randomness / / edited by Rossella Lupacchini, Annarita Angelini |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (220 p.) |
| Disciplina |
363.69
501 509.03 510 |
| Soggetto topico |
Mathematics
Arts Architecture - Mathematics Physics - Philosophy History Cultural property Science - Philosophy Quantum theory Mathematics in Art and Architecture Philosophical Foundations of Physics and Astronomy History of Mathematical Sciences Cultural Heritage Philosophy of Science Quantum Physics |
| ISBN | 3-319-02111-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From Perspective Drawing to the Eighth Dimension -- Seeing Reality in Perspective: The “Art of Optics” and the “Science of Painting” -- The Role of Perspective in the Transformation of European Culture -- Visual Differential Geometry and Beltrami’s Hyperbolic Plane.- All Done by Mirrors: Symmetries, Quaternions, Spinors, and Clifford Algebras -- Artists & Gamblers on the Way to Quantum Physics -- Radices Sophisticae, Racines Imaginaires: The Origins of Complex Numbers in the Late Renaissance -- Random, Complex, and Quantum. |
| Record Nr. | UNINA-9910299970403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| 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 |
| 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-9911093828203321 |
| Milano : , : Springer Milan : , : Imprint : Springer, , 2008 | ||
| 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-9911142668503321 |
| Milano : , : Springer Milan : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||