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.
Abstractionism : essays in philosophy of mathematics / / Philip A. Ebert and Marcus Rossberg [[electronic resource]]
| Abstractionism : essays in philosophy of mathematics / / Philip A. Ebert and Marcus Rossberg [[electronic resource]] |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Oxford : , : Oxford University Press, , 2017 |
| Descrizione fisica | 1 online resource |
| Disciplina | 510.1 |
| Soggetto topico |
Mathematics - Philosophy
Abstraction |
| ISBN | 0-19-175533-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910164941403321 |
| Oxford : , : Oxford University Press, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / / edited by Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka
| Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / / edited by Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (232 pages) |
| Disciplina | 511.3 |
| Collana | Springer Proceedings in Mathematics & Statistics |
| Soggetto topico |
Logic, Symbolic and mathematical
Computer arithmetic and logic units Computer science - Mathematics Logic Mathematics - Philosophy Mathematical Logic and Foundations Arithmetic and Logic Structures Mathematics of Computing Philosophy of Mathematics Lògica matemàtica |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN | 981-16-4173-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | S. Fuchino and A. Ottenbreit Ottenbreit Maschio Rodrigues, Reflection principles, generic large cardinals, and the Continuum Problem -- D. Ikegami and N. Trang, On supercompactness of ω1 -- S. Iwata, Interpolation properties for Sacchetti’s logics -- T. Kurahashi, Rosser provability and the second incompleteness theorem -- H. Kurokawa, On Takeuti’s early view of the concept of set -- Yo Matsubara and T. Usuba, On Countable Stationary Towers -- M. Ozawa, Reforming Takeuti’s Quantum Set Theory to Satisfy De Morgan’s Laws -- T. Usuba, Choiceless Lowenheim-Skolem property and uniform definability of grounds -- M. Yasugi, Y. Tsujii, T. Mori, Irrational-based computability of functions -- M. Yasugi, “Gaisi Takeuti’s finitist standpoint” and its mathematical embodiment -- Y. Yoshinobu, Properness under closed forcing. |
| Record Nr. | UNINA-9910523006803321 |
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Adventures of Mind and Mathematics / / by Wolff-Michael Roth
| Adventures of Mind and Mathematics / / by Wolff-Michael Roth |
| Autore | Roth Wolff-Michael |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (265 pages) |
| Disciplina | 510.1 |
| Collana | Mathematics in Mind |
| Soggetto topico |
Mathematics
Mathematics - Philosophy Philosophy of Mathematics |
| ISBN | 3-030-51809-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part A. Foundations -- 1. Toward an Organismic Theory of Mind -- 2. Primacy of Events -- Part B. Extensions -- 3. Mathematical Thinking as Event -- 4. On Signifier-Things and Signing-as-Event -- 5. When Does Mathematical Form Make Sense? -- 6. Genesis of Mathematical Reasoning -- 7. Affect in the Mathematical Mind -- Part C. Integrations -- 8. The Thinking Body of Mathematics -- 9. Experience, Mathematics, and Mind -- Appendix -- Index. . |
| Record Nr. | UNINA-9910483161903321 |
Roth Wolff-Michael
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Analysis and synthesis in mathematics : history and philosophy / edited by Michael Otte and Marco Panza
| Analysis and synthesis in mathematics : history and philosophy / edited by Michael Otte and Marco Panza |
| Pubbl/distr/stampa | Dordrecht ; Boston : Kluwer Academic Publishers, c1997 |
| Descrizione fisica | xiii, 440 p. : ill. ; 25 cm |
| Disciplina | 515.09 |
| Altri autori (Persone) |
Otte, Michael
Panza, Marco |
| Collana | Boston studies in the philosophy of science ; v. 196 |
| Soggetto topico |
Mathematical analysis - History
Mathematics - Philosophy |
| ISBN | 0792345703 (acid-free paper) |
| Classificazione |
1:5
LC Q174 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001622939707536 |
| Dordrecht ; Boston : Kluwer Academic Publishers, c1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
The applicability of mathematics as a philosophical problem [[electronic resource] /] / Mark Steiner
| The applicability of mathematics as a philosophical problem [[electronic resource] /] / Mark Steiner |
| Autore | Steiner Mark |
| Pubbl/distr/stampa | Cambridge, MA, : Harvard University Press, 1998 |
| Descrizione fisica | 1 online resource (viii,215p. ) : ill |
| Disciplina | 530.15 |
| Soggetto topico |
Mathematical physics
Mathematics - Philosophy |
| Soggetto genere / forma | Electronic books. |
| ISBN | 0-674-04398-7 |
| Classificazione | CC 3500 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Acknowledgments -- Introduction -- 1. The Semantic Applicability of Mathematics: Frege's Achievements -- 2. The Descriptive Applicability of Mathematics -- 3. Mathematics, Analogies, and Discovery in Physics -- 4. Pythagorean Analogies in Physics -- 5. Formalisms and Formalist Reasoning in Quantum Mechanics -- 6. Formalist Reasoning: The Mystery of Quantization -- Appendix A. A "Nonphysical" Derivation of Quantum Mechanics -- Appendix B. Nucleon-Pion Scattering -- Appendix C. Nonrelativistic Schroedinger Equation with Spin -- References -- Index |
| Record Nr. | UNINA-9910455148003321 |
|
Steiner Mark
|
||
| Cambridge, MA, : Harvard University Press, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The applicability of mathematics as a philosophical problem [[electronic resource] /] / Mark Steiner
| The applicability of mathematics as a philosophical problem [[electronic resource] /] / Mark Steiner |
| Autore | Steiner Mark |
| Pubbl/distr/stampa | Cambridge, MA, : Harvard University Press, 1998 |
| Descrizione fisica | 1 online resource (viii,215p. ) : ill |
| Disciplina | 530.15 |
| Soggetto topico |
Mathematical physics
Mathematics - Philosophy |
| ISBN | 0-674-04398-7 |
| Classificazione | CC 3500 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Acknowledgments -- Introduction -- 1. The Semantic Applicability of Mathematics: Frege's Achievements -- 2. The Descriptive Applicability of Mathematics -- 3. Mathematics, Analogies, and Discovery in Physics -- 4. Pythagorean Analogies in Physics -- 5. Formalisms and Formalist Reasoning in Quantum Mechanics -- 6. Formalist Reasoning: The Mystery of Quantization -- Appendix A. A "Nonphysical" Derivation of Quantum Mechanics -- Appendix B. Nucleon-Pion Scattering -- Appendix C. Nonrelativistic Schroedinger Equation with Spin -- References -- Index |
| Record Nr. | UNINA-9910778441203321 |
|
Steiner Mark
|
||
| Cambridge, MA, : Harvard University Press, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The applicability of mathematics as a philosophical problem / / Mark Steiner
| The applicability of mathematics as a philosophical problem / / Mark Steiner |
| Autore | Steiner Mark |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cambridge, MA, : Harvard University Press, 1998 |
| Descrizione fisica | 1 online resource (viii,215p. ) : ill |
| Disciplina | 530.15 |
| Soggetto topico |
Mathematical physics
Mathematics - Philosophy |
| ISBN |
9780674043985
0674043987 |
| Classificazione | CC 3500 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Acknowledgments -- Introduction -- 1. The Semantic Applicability of Mathematics: Frege's Achievements -- 2. The Descriptive Applicability of Mathematics -- 3. Mathematics, Analogies, and Discovery in Physics -- 4. Pythagorean Analogies in Physics -- 5. Formalisms and Formalist Reasoning in Quantum Mechanics -- 6. Formalist Reasoning: The Mystery of Quantization -- Appendix A. A "Nonphysical" Derivation of Quantum Mechanics -- Appendix B. Nucleon-Pion Scattering -- Appendix C. Nonrelativistic Schroedinger Equation with Spin -- References -- Index |
| Record Nr. | UNINA-9911092244003321 |
|
Steiner Mark
|
||
| Cambridge, MA, : Harvard University Press, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The applicability of mathematics as a philosophical problem / / Mark Steiner
| The applicability of mathematics as a philosophical problem / / Mark Steiner |
| Autore | Steiner Mark |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cambridge, MA, : Harvard University Press, 1998 |
| Descrizione fisica | 1 online resource (viii,215p. ) : ill |
| Disciplina | 530.15 |
| Soggetto topico |
Mathematical physics
Mathematics - Philosophy |
| ISBN |
9780674043985
0674043987 |
| Classificazione | CC 3500 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Acknowledgments -- Introduction -- 1. The Semantic Applicability of Mathematics: Frege's Achievements -- 2. The Descriptive Applicability of Mathematics -- 3. Mathematics, Analogies, and Discovery in Physics -- 4. Pythagorean Analogies in Physics -- 5. Formalisms and Formalist Reasoning in Quantum Mechanics -- 6. Formalist Reasoning: The Mystery of Quantization -- Appendix A. A "Nonphysical" Derivation of Quantum Mechanics -- Appendix B. Nucleon-Pion Scattering -- Appendix C. Nonrelativistic Schroedinger Equation with Spin -- References -- Index |
| Record Nr. | UNINA-9911147036003321 |
| Steiner Mark | ||
| Cambridge, MA, : Harvard University Press, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Approaching Infinity / / by M. Huemer
| Approaching Infinity / / by M. Huemer |
| Autore | Huemer M |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | London : , : Palgrave Macmillan UK : , : Imprint : Palgrave Macmillan, , 2016 |
| Descrizione fisica | 1 online resource (XIII, 275 p.) |
| Disciplina | 111/.6 |
| Soggetto topico |
Metaphysics
Mathematics - Philosophy Logic Philosophy of Mathematics |
| ISBN |
9781349719600
1349719609 9781137560872 1137560878 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910255346703321 |
|
Huemer M
|
||
| London : , : Palgrave Macmillan UK : , : Imprint : Palgrave Macmillan, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Arabic Logic from al-Fārābī to Averroes : A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics / / by Saloua Chatti
| Arabic Logic from al-Fārābī to Averroes : A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics / / by Saloua Chatti |
| Autore | Chatti Saloua |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2019 |
| Descrizione fisica | 1 online resource (380 pages) |
| Disciplina | 160 |
| Collana | Studies in Universal Logic |
| Soggetto topico |
Proof theory
Mathematics - Philosophy Mathematics Social sciences Philosophy - History Proof Theory and Constructive Mathematics Philosophy of Mathematics Mathematics in the Humanities and Social Sciences History of Philosophy |
| ISBN | 3-030-27466-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1: General Introduction -- Chapter 2: The Rise of Arabic Logic: Authors, Translations, Topics -- Chapter 3: Categorical Logic -- Chapter 4: Modal Logic -- Chapter 5: The Hypothetical Logic -- Chapter 6: General Conclusion -- References -- Index of Names -- Subject Index. |
| Record Nr. | UNINA-9910360849003321 |
|
Chatti Saloua
|
||
| Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Mathematics - Philosophy
(489)
- Philosophy of Mathematics (124)
- Logic, Symbolic and mathematical (88)
- Mathematics (65)
- Logic (38)