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
Physics History Cultural heritage Philosophy and science Quantum physics Mathematics in Art and Architecture History and Philosophical Foundations of Physics 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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Deduction, computation, experiment : 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-9910810094903321 |
Berlin ; ; New York, : Springer, c2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|