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.
Philosophy's Loss of Logic to Mathematics : An Inadequately Understood Take-Over / / by Woosuk Park
| Philosophy's Loss of Logic to Mathematics : An Inadequately Understood Take-Over / / by Woosuk Park |
| Autore | Park Woosuk |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XII, 230 p.) |
| Disciplina | 510.1 |
| Collana | Studies in Applied Philosophy, Epistemology and Rational Ethics |
| Soggetto topico |
Logic
Mathematics History Mathematics—Philosophy Mathematical logic Epistemology History of Mathematical Sciences Philosophy of Mathematics Mathematical Logic and Foundations |
| ISBN | 3-319-95147-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Frege’s Distinction Between “Falling Under” and “Subordination” -- Scotus, Frege and Bergmann -- Zermelo and the Axiomatic Method -- Between Bernays and Carnap -- On the Motivations of Goedel's Ontological Proof -- The Ontological Regress of Maddy's Mathematical Naturalism -- What If Haecceity Is Not a Property? -- Epilogue. |
| Record Nr. | UNINA-9910300616103321 |
Park Woosuk
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Pi: The Next Generation : A Sourcebook on the Recent History of Pi and Its Computation / / by David H. Bailey, Jonathan M. Borwein
| Pi: The Next Generation : A Sourcebook on the Recent History of Pi and Its Computation / / by David H. Bailey, Jonathan M. Borwein |
| Autore | Bailey David H |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIV, 507 p.) |
| Disciplina | 518 |
| Soggetto topico |
Computer mathematics
Number theory Mathematics History Computational Mathematics and Numerical Analysis Number Theory History of Mathematical Sciences |
| ISBN | 3-319-32377-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foreword -- Preface -- Introduction -- Computation of pi using arithmetic-geometric mean -- Fast multiple-precision evaluation of elementary functions -- The arithmetic-geometric mean of Gauss -- The arithmetic-geometric mean and fast computation of elementary functions -- A simplified version of the fast algorithms of Brent and Salamin -- Is pi normal? -- The computation of pi to 29,360,000 decimal digits using Borweins' quartically convergent algorithm -- Gauss, Landen, Ramanujan, the arithmetic-geometric mean, ellipses, pi, and the ladies diary -- Vectorization of multiple-precision arithmetic program and 201,326,000 decimal digits of pi calculation.-Ramanujan and pi -- 11. Ramanujan, modular equations, and approximations to pi or how to compute one billion digits of pi -- Pi, Euler numbers, and asymptotic expansions -- A spigot algorithm for the digits of pi -- On the rapid computation of various polylogarithmic constants -- Similarities in irrationality proofs for pi, ln 2, ζ(2), and ζ(3) -- Unbounded spigot algorithms for the digits of pi -- Mathematics by experiment: Plausible reasoning in the 21st century -- Approximations to pi derived from integrals with nonnegative integrands -- Ramanujan's series for 1/π: A survey -- The computation of previously inaccessible digits of π2 and Catalan's constant -- Walking on real numbers -- Birth, growth and computation of pi to ten trillion digits -- Pi day is upon us again and we still do not know if pi is normal -- The Life of pi -- I prefer pi: A brief mathematical history and anthology of articles in the American Mathematical Monthly -- Bibliography -- Index. |
| Record Nr. | UNINA-9910254064403321 |
|
Bailey David H
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Pieces and Parts in Scientific Texts / / edited by Florence Bretelle-Establet, Stéphane Schmitt
| Pieces and Parts in Scientific Texts / / edited by Florence Bretelle-Establet, Stéphane Schmitt |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (VIII, 355 p.) |
| Disciplina | 509 |
| Collana | Why the Sciences of the Ancient World Matter |
| Soggetto topico |
History
Epistemology Mathematics Linguistics Printing Publishers and publishing History of Science Humanities and Social Sciences, multidisciplinary History of Mathematical Sciences Linguistics, general Printing and Publishing |
| ISBN | 3-319-78467-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: Introductory Remarks -- Chapter 1. Introduction (Florence Bretelle-Establet and Stéphane Schmitt) -- Chapter 2. Textual Places: “Parts of Text” and “Stretches of Text” (Julie Lefebvre) -- Part II: Material Parts of Texts -- Chapter 3. Segmentation of Texts in Old Babylonian Mathematics (Christine Proust) -- Chapter 4. Textual Segmentation in Babylonian Astral Science (Mathieu Ossendrijver) -- Part III: Organizational Strategies and Internal Architecture of Texts -- Chapter 5. Parts in Chinese Mathematical Texts. Interpreting the Chapter Form of The Nine Chapters on Mathematical Procedures (Karine Chemla and Zou Dahai) -- Chapter 6. “Parts of Text” in the Mathematical Literature of Ancient Greece. From the Author to His Commentator: the Example of Conics by Apollonius of Perga (Micheline Decorps) -- Chapter 7. Text Segmentation, Chapter Naming and the Transmission of Embedded Texts in South Asia, with Special Reference to the Medical and Philosophical Traditions as Exemplified by the Carakasaṃhitā and the Nyāyasūtra (Karin Preisendanz) -- Part IV: Intertextuality and Strategies to Bind Parts of Ideas, Parts of Works and Parts of Texts -- Chapter 8. Writing with and from Parts of the Discourses of Others in Chinese Medical Texts: Where Syntax and Layout Matter (Florence Bretelle-Establet) -- Chapter 9. Epigraphs as Parts of Text in Natural History Books in the Eighteenth Century: Between Intertextuality and the Architecture of the Book (Stéphane Schmitt) -- Chapter 10. Collecting Languages, Alphabets and Texts: the Circulation of “Parts of Texts” among Paper Cabinets of Linguistic Curiosities (Sixteenth–Seventeenth Centuries) (Fabien Simon). |
| Record Nr. | UNINA-9910299808803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Plato's Problem [[electronic resource] ] : An Introduction to Mathematical Platonism / / by M. Panza, A. Sereni
| Plato's Problem [[electronic resource] ] : An Introduction to Mathematical Platonism / / by M. Panza, A. Sereni |
| Autore | Panza M |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | London : , : Palgrave Macmillan UK : , : Imprint : Palgrave Macmillan, , 2013 |
| Descrizione fisica | 1 online resource (323 p.) |
| Disciplina | 510.1 |
| Soggetto topico |
Mathematics—Philosophy
Philosophy, Ancient Mathematics History Logic Philosophy Philosophy of Mathematics Classical Philosophy History of Mathematical Sciences History of Philosophy |
| ISBN | 1-137-29813-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Contents; Preface; Acknowledgements; Terminological Conventions; Introduction; Platonism in the Philosophy of Mathematics; Nominalism in the Philosophy of Mathematics; The Indispensability Argument; 1 The Origins; 1.1 Plato as a Platonist?; 1.2 Aristotle Between Platonism and Anti-platonism; 1.3 Proclus: The Neoplatonic Interpretation of Euclid's Geometry; 1.4 Kant: The Transcendental Interpretation of Classical Arithmetic and Geometry; 2 From Frege to Gödel (Through Hilbert); 2.1 Frege's Logicist Platonism; 2.2 Russell and the Separation of Logicism and Platonism; 2.3 Set Theory
2.4 The Problem of Foundations2.5 Gödel's Platonism and the Rise of Mathematical Intuition; 3 Benacerraf's Arguments; 3.1 What Natural Numbers Could Not Be (According to Benacerraf); 3.2 Benacerraf's Dilemma; 3.3 A Map of Responses to Benacerraf's Dilemma: Contemporary Solutions to Plato's Problem; 4 Non-conservative Responses to Benacerraf's Dilemma; 4.1 Field's Nominalism: Mathematics Without Truth and Science Without Numbers; 4.2 Mathematics as Fiction: Field and Yablo; 4.3 Eliminative Structuralism and its Modal Version; 4.4 Maddy and the Cognitive Origins of Set Theory 5 Conservative Responses to Benacerraf's Dilemma5.1 Neo-logicism: A Revised Version of Frege's Programme; 5.2 Linsky, Zalta and 'Object Theory': Mathematics and Logic (or Metaphysics) of Abstract Objects; 5.3 A First Version of Non-eliminative Structuralism: Ante Rem Structuralism; 5.4 A Second Version of Non-eliminative Structuralism: Parsons and the Role of Intuition; 6 The Indispensability Argument: Structure and Basic Notions; 6.1 Four Versions of IA; 6.2 The Quine-Putnam Argument and Colyvan's Argument; 6.3 (In)dispensability; 6.4 Quine's Criterion of Ontological Commitment 6.5 Naturalism6.6 Confirmational Holism; 6.7 The Dispensability of Naturalism and Confirmational Holism; 7 The Indispensability Argument: The Debate; 7.1 Against Indispensability; 7.2 Against Ontological Commitment; 7.3 Against Naturalism and Scientific Realism; 7.4 Against Confirmational Holism; Concluding Remarks; Notes; References; Index |
| Record Nr. | UNINA-9910786134103321 |
|
Panza M
|
||
| London : , : Palgrave Macmillan UK : , : Imprint : Palgrave Macmillan, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Plato's Problem : An Introduction to Mathematical Platonism / / by M. Panza, A. Sereni
| Plato's Problem : An Introduction to Mathematical Platonism / / by M. Panza, A. Sereni |
| Autore | Panza M |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | London : , : Palgrave Macmillan UK : , : Imprint : Palgrave Macmillan, , 2013 |
| Descrizione fisica | 1 online resource (323 p.) |
| Disciplina | 510.1 |
| Soggetto topico |
Mathematics—Philosophy
Philosophy, Ancient Mathematics History Logic Philosophy Philosophy of Mathematics Classical Philosophy History of Mathematical Sciences History of Philosophy |
| ISBN | 1-137-29813-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Contents; Preface; Acknowledgements; Terminological Conventions; Introduction; Platonism in the Philosophy of Mathematics; Nominalism in the Philosophy of Mathematics; The Indispensability Argument; 1 The Origins; 1.1 Plato as a Platonist?; 1.2 Aristotle Between Platonism and Anti-platonism; 1.3 Proclus: The Neoplatonic Interpretation of Euclid's Geometry; 1.4 Kant: The Transcendental Interpretation of Classical Arithmetic and Geometry; 2 From Frege to Gödel (Through Hilbert); 2.1 Frege's Logicist Platonism; 2.2 Russell and the Separation of Logicism and Platonism; 2.3 Set Theory
2.4 The Problem of Foundations2.5 Gödel's Platonism and the Rise of Mathematical Intuition; 3 Benacerraf's Arguments; 3.1 What Natural Numbers Could Not Be (According to Benacerraf); 3.2 Benacerraf's Dilemma; 3.3 A Map of Responses to Benacerraf's Dilemma: Contemporary Solutions to Plato's Problem; 4 Non-conservative Responses to Benacerraf's Dilemma; 4.1 Field's Nominalism: Mathematics Without Truth and Science Without Numbers; 4.2 Mathematics as Fiction: Field and Yablo; 4.3 Eliminative Structuralism and its Modal Version; 4.4 Maddy and the Cognitive Origins of Set Theory 5 Conservative Responses to Benacerraf's Dilemma5.1 Neo-logicism: A Revised Version of Frege's Programme; 5.2 Linsky, Zalta and 'Object Theory': Mathematics and Logic (or Metaphysics) of Abstract Objects; 5.3 A First Version of Non-eliminative Structuralism: Ante Rem Structuralism; 5.4 A Second Version of Non-eliminative Structuralism: Parsons and the Role of Intuition; 6 The Indispensability Argument: Structure and Basic Notions; 6.1 Four Versions of IA; 6.2 The Quine-Putnam Argument and Colyvan's Argument; 6.3 (In)dispensability; 6.4 Quine's Criterion of Ontological Commitment 6.5 Naturalism6.6 Confirmational Holism; 6.7 The Dispensability of Naturalism and Confirmational Holism; 7 The Indispensability Argument: The Debate; 7.1 Against Indispensability; 7.2 Against Ontological Commitment; 7.3 Against Naturalism and Scientific Realism; 7.4 Against Confirmational Holism; Concluding Remarks; Notes; References; Index |
| Record Nr. | UNINA-9910813969303321 |
|
Panza M
|
||
| London : , : Palgrave Macmillan UK : , : Imprint : Palgrave Macmillan, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Poetic Logic and the Origins of the Mathematical Imagination / / by Marcel Danesi
| Poetic Logic and the Origins of the Mathematical Imagination / / by Marcel Danesi |
| Autore | Danesi Marcel |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (180 pages) |
| Disciplina | 195 |
| Collana | Mathematics in Mind |
| Soggetto topico |
Llenguatge i llengües
Història de la filosofia Mathematics History Cognitive science Linguistics History of Mathematical Sciences Cognitive Science Theoretical Linguistics / Grammar |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-031-31582-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Imagination -- Ingenuity -- Memory -- Metaphor -- Logic -- Glossary -- References -- Index. |
| Record Nr. | UNINA-9910736997303321 |
|
Danesi Marcel
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Poincaré, Philosopher of Science : Problems and Perspectives / / edited by María de Paz, Robert DiSalle
| Poincaré, Philosopher of Science : Problems and Perspectives / / edited by María de Paz, Robert DiSalle |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (195 p.) |
| Disciplina | 194 |
| Collana | The Western Ontario Series in Philosophy of Science, A Series of Books in Philosophy of Science, Methodology, Epistemology, Logic, History of Science, and Related Fields |
| Soggetto topico |
Philosophy and science
Epistemology Philosophy of nature Dynamics Ergodic theory Mathematics History Philosophy of Science Philosophy of Nature Dynamical Systems and Ergodic Theory History of Mathematical Sciences |
| ISBN | 94-017-8780-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Introduction; Robert DiSalle and María de Paz -- Part I Poincaré’s Philosophy of Science -- 1 Portrait of Henri Poincaré as a young philosopher: the formative years (1860-1873); Laurent Rollet -- 2 The Invention of Convention; Janet Folina -- 3 The third way epistemology: A re-characterization of Poincaré’s conventionalism; María de Paz -- 4 Poincaré, Indifferent Hypotheses and Metaphysics; Antonio Videira -- Part II Poincaré on the Foundations of Mathematics -- 5 Poincaré in Göttingen; Reinhard Kahle -- 6 Poincaré on the Principles of the Calculus; Augusto J. Franco de Oliveira -- 7 Does the French Connection (Poincaré, Lautman) provide some insights regarding the thesis that meta-mathematics is an exception to the slogan that mathematics concerns structures?; Gerhard Heinzmann.- Part III Poincaré on the Foundations of Physics -- 8 Henri Poincaré: The status of mechanical explanations and the foundations of statistical mechanics; João Príncipe -- 9 Poincaré: A scientist inspired by his philosophy; Isabella Serra -- 10 Poincaré on the construction of space-time; Robert DiSalle -- Contributors -- Index. |
| Record Nr. | UNINA-9910483422603321 |
| Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Practical mathematics in a commercial metropolis : Mathematical life in late 16th century Antwerp / / by Ad Meskens
| Practical mathematics in a commercial metropolis : Mathematical life in late 16th century Antwerp / / by Ad Meskens |
| Autore | Meskens Ad |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (268 p.) |
| Disciplina |
510.9
510.949322209031 |
| Collana | Archimedes, New Studies in the History and Philosophy of Science and Technology |
| Soggetto topico |
History
Mathematics Physics Architecture History of Science History of Mathematical Sciences History and Philosophical Foundations of Physics Architectural History and Theory |
| ISBN |
1-299-40808-7
94-007-5721-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Preface -- 2 Introduction -- 3 The Family Coignet -- 4 Peeter Heyns and the Nymphs of the Laurel Tree -- 5 The Arithmetic Teacher and his School -- 6 The Antwerp arithmetic books -- 7 Winegauging -- 8 Instrumentmakers -- 9 The Art of Navigation -- 10 Mapping the World -- 11 Looking towards the Stars -- 12 Ballistics and fortifications -- 13 Conclusion -- Appendices -- Index. |
| Record Nr. | UNINA-9910438325503321 |
|
Meskens Ad
|
||
| Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A Primer of Permutation Statistical Methods / / by Kenneth J. Berry, Janis E. Johnston, Paul W. Mielke, Jr
| A Primer of Permutation Statistical Methods / / by Kenneth J. Berry, Janis E. Johnston, Paul W. Mielke, Jr |
| Autore | Berry Kenneth J |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXIII, 476 p. 8 illus., 1 illus. in color.) |
| Disciplina |
519.5
511.64 |
| Soggetto topico |
Statistics
Biostatistics Combinatorics Mathematics History Statistical Theory and Methods Statistics for Life Sciences, Medicine, Health Sciences History of Mathematical Sciences |
| ISBN | 3-030-20933-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910349322903321 |
|
Berry Kenneth J
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Probability Integral : Its Origin, Its Importance, and Its Calculation / / by Paul J. Nahin
| The Probability Integral : Its Origin, Its Importance, and Its Calculation / / by Paul J. Nahin |
| Autore | Nahin Paul J |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (205 pages) |
| Disciplina |
530.15
519.2 |
| Soggetto topico |
Mathematical physics
Engineering mathematics Measure theory Probabilities Statistics History Mathematics Mathematical Methods in Physics Engineering Mathematics Measure and Integration Probability Theory History of Statistics History of Mathematical Sciences |
| ISBN | 3-031-38416-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. De Moivre and the Discovery of the Probability Integral -- Chapter 2. Laplace’s First Derivation -- Chapter 3. How Euler Could Have Done It Before Laplace (but did he?) -- Chapter 4. Laplace’s Second Derivation -- Chapter 5. Generalizing the Probability Integral -- Chapter 6. Poisson’s Derivation -- Chapter 7. Rice’s Radar Integral -- Chapter 8. Liouville’s Theorem that Has No Finite Form -- Chapter 9. How the Error Function Appeared in the Electrical Response of the Trans-Atlantic Telegraph Cable -- Chapter 10. Doing the Probability Integral with Differentiation -- chapter 11. The Probability Integral as a Volume -- Chapter 12. How Cauchy Could Have Done It (but didn’t) -- Chapter 13. Fourier Has the Penultimate Technical Word -- Chapter 14. Finbarr Holland Has the Last Technical Word -- Chapter 15. A Final Comment on Mathematical Proofs. |
| Record Nr. | UNINA-9910746094103321 |
|
Nahin Paul J
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
History of Mathematical Sciences
(292)
- History (290)
- Mathematics (290)
- History of Science (50)
- Mathematical logic (38)