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.
Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / Toshiyasu Arai ... [et al.] editors
| Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / Toshiyasu Arai ... [et al.] editors |
| Pubbl/distr/stampa | Singapore, : Springer, 2021 |
| Descrizione fisica | xi, 229 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 00B30 - Festschriften [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] 03Bxx - General logic [MSC 2020] |
| Soggetto non controllato |
Computability theory
Model theory Philosophical Logic Philosophy of mathematics Proof Theory Set Theory Theoretical computer science |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0275416 |
| Singapore, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / Toshiyasu Arai ... [et al.] editors
| Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / Toshiyasu Arai ... [et al.] editors |
| Pubbl/distr/stampa | Singapore, : Springer, 2021 |
| Descrizione fisica | xi, 229 p. : ill. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
00B30 - Festschriften [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 03Bxx - General logic [MSC 2020] 03Exx - Set theory [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] |
| Soggetto non controllato |
Computability theory
Model theory Philosophical Logic Philosophy of mathematics Proof Theory Set Theory Theoretical computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00275416 |
| Singapore, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Bayesians versus frequentists : a philosophical debate on statistical reasoning / Jordi Vallverdú
| Bayesians versus frequentists : a philosophical debate on statistical reasoning / Jordi Vallverdú |
| Autore | Vallverdú, Jordi |
| Pubbl/distr/stampa | Heidelberg [etc.], : Springer, 2016 - XII, 110 p., : ill. ; 24 cm |
| Soggetto topico |
01Axx - History of mathematics and mathematicians [MSC 2020]
00A30 - Philosophy of mathematics [MSC 2020] 62-XX - Statistics [MSC 2020] |
| Soggetto non controllato |
Bayesian
Causality Determinism History of mathematics Philosophy of mathematics Statistical thinking |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0114467 |
Vallverdú, Jordi
|
||
| Heidelberg [etc.], : Springer, 2016 - XII, 110 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Bayesians versus frequentists : a philosophical debate on statistical reasoning / Jordi Vallverdú
| Bayesians versus frequentists : a philosophical debate on statistical reasoning / Jordi Vallverdú |
| Autore | Vallverdú, Jordi |
| Pubbl/distr/stampa | Heidelberg [etc.], : Springer, 2016 - XII, 110 p., : ill. ; 24 cm |
| Soggetto topico |
00A30 - Philosophy of mathematics [MSC 2020]
01Axx - History of mathematics and mathematicians [MSC 2020] 62-XX - Statistics [MSC 2020] |
| Soggetto non controllato |
Bayesian
Causality Determinism History of mathematics Philosophy of mathematics Statistical thinking |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00114467 |
|
Vallverdú, Jordi
|
||
| Heidelberg [etc.], : Springer, 2016 - XII, 110 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The blind spot [[electronic resource] ] : science and the crisis of uncertainty / / William Byers
| The blind spot [[electronic resource] ] : science and the crisis of uncertainty / / William Byers |
| Autore | Byers William |
| Edizione | [Course Book] |
| Pubbl/distr/stampa | Princeton, : Princeton University Press, c2011 |
| Descrizione fisica | 1 online resource (334 p.) |
| Disciplina | 500 |
| Soggetto topico |
Science - Social aspects
Uncertainty (Information theory) |
| Soggetto non controllato |
Acknowledgment (creative arts and sciences)
Algorithm Ambiguity Analogy Approximation Axiom Axiomatic system Basic research Big O notation Calculation Certainty Chaos theory Circumference Computation Concept Conjecture Consciousness Consistency Contingency (philosophy) Continuous function Continuum hypothesis Contradiction Counting David Bohm Dynamism (metaphysics) Emergence Euclidean geometry Explanation Feeling Fermat's Last Theorem Geometry Gestalt psychology Gregory Chaitin Gödel's incompleteness theorems Human behavior Human intelligence Hypothesis Ideology Inference Integer Irrational number Learning Logic Logical reasoning Mathematician Mathematics Measurement Methodology Modernity Molecule Natural number Nature Paradigm shift Paradox Participant Phenomenon Philosopher Philosophy of mathematics Philosophy of science Philosophy Platonism Prediction Principle Probability Pythagoreanism Qualitative property Quantification (science) Quantity Quantum mechanics Randomness Rational number Rationality Real number Reality Reason Reductionism Relationship between religion and science Result Science Scientific method Scientific progress Scientific theory Scientist Self-reference Set theory Special case Subatomic particle Subjectivity Suggestion Technology The Philosopher Theorem Theoretical physics Theory of everything Theory Thomas Kuhn Thought Uncertainty Universality (philosophy) Writing |
| ISBN |
1-283-00150-0
9786613001504 1-4008-3815-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Preface: The Revelation of Uncertainty -- 1. The Blind Spot -- 2. The Blind Spot Revealed -- 3. Certainty or Wonder? -- 4. A World in Crisis! -- 5. Ambiguity -- 6. Self-Reference: The Human Element in Science -- 7. The Mystery of Number -- 8. Science as the Ambiguous Search for Unity -- 9. The Still Point -- 10. Conclusion: Living in a World of Uncertainty -- Acknowledgments -- Notes -- References -- Index |
| Record Nr. | UNINA-9910781106903321 |
|
Byers William
|
||
| Princeton, : Princeton University Press, c2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Diffusion, quantum theory, and radically elementary mathematics / / edited by William G. Faris
| Diffusion, quantum theory, and radically elementary mathematics / / edited by William G. Faris |
| Pubbl/distr/stampa | Princeton, New Jersey ; ; Oxfordshire, England : , : Princeton University Press, , 2006 |
| Descrizione fisica | 1 online resource (257 p.) |
| Disciplina | 530.15 |
| Collana | Mathematical Notes |
| Soggetto topico |
Mathematical physics
Diffusion Quantum theory |
| Soggetto non controllato |
Affine space
Algebra Axiom Bell's theorem Brownian motion Central limit theorem Classical mathematics Classical mechanics Clifford algebra Combinatorial proof Commutative property Constructive quantum field theory Continuum hypothesis David Hilbert Dimension (vector space) Discrete mathematics Distribution (mathematics) Eigenfunction Equation Euclidean space Experimental mathematics Fermi–Dirac statistics Feynman–Kac formula First-order logic Fokker–Planck equation Foundations of mathematics Fractal dimension Gaussian process Girsanov theorem Gödel's incompleteness theorems Hilbert space Hilbert's program Holomorphic function Infinitesimal Integer Internal set theory Interval (mathematics) Limit (mathematics) Mathematical induction Mathematical optimization Mathematical physics Mathematical proof Mathematician Mathematics Measurable function Measure (mathematics) Minkowski space Natural number Neo-Riemannian theory Non-standard analysis Number theory Operator algebra Ornstein–Uhlenbeck process Orthonormal basis Perturbation theory (quantum mechanics) Philosophy of mathematics Predicate (mathematical logic) Probability measure Probability space Probability theory Probability Projection (linear algebra) Pure mathematics Pythagorean theorem Quantum field theory Quantum fluctuation Quantum gravity Quantum harmonic oscillator Quantum mechanics Quantum system Quantum teleportation Random variable Real number Renormalization group Renormalization Riemann mapping theorem Riemann surface Riemannian geometry Riemannian manifold Schrödinger equation Scientific notation Set (mathematics) Sign (mathematics) Sobolev inequality Special relativity Spectral theorem Spin (physics) Statistical mechanics Stochastic calculus Stochastic differential equation Tensor algebra Theorem Theoretical physics Theory Turing machine Variable (mathematics) Von Neumann algebra Wiener process Wightman axioms Zermelo–Fraenkel set theory |
| ISBN | 1-4008-6525-5 |
| Classificazione | 33.65 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Contents -- Preface -- Chapter One. Introduction: Diffusive Motion and Where It Leads / Faris, William G. -- Chapter Two. Hypercontractivity, Logarithmic Sobolev Inequalities, and Applications: A Survey of Surveys / Gross, Leonard -- Chapter Three. Ed Nelson's Work in Quantum Theory / Simon, Barry -- Chapter Four Symanzik, Nelson, and Self-Avoiding Walk / Brydges, David C. -- Chapter Five. Stochastic Mechanics: A Look Back and a Look Ahead / Carlen, Eric -- Chapter Six. Current Trends in Optimal Transportation: A Tribute to Ed Nelson / Villani, Cédric -- Chapter Seven. Internal Set Theory and Infinitesimal Random Walks / Lawler, Gregory F. -- Chapter Eight. Nelson's Work on Logic and Foundations and Other Reflections on the Foundations of Mathematics / Buss, Samuel R. -- Chapter Nine. Some Musical Groups: Selected Applications of Group Theory in Music / Hook, Julian -- Chapter Ten. Afterword / Nelson, Edward -- Appendix A. Publications by Edward Nelson -- Index |
| Record Nr. | UNINA-9910786749603321 |
| Princeton, New Jersey ; ; Oxfordshire, England : , : Princeton University Press, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Diffusion, quantum theory, and radically elementary mathematics / / edited by William G. Faris
| Diffusion, quantum theory, and radically elementary mathematics / / edited by William G. Faris |
| Pubbl/distr/stampa | Princeton, New Jersey ; ; Oxfordshire, England : , : Princeton University Press, , 2006 |
| Descrizione fisica | 1 online resource (257 p.) |
| Disciplina | 530.15 |
| Collana | Mathematical Notes |
| Soggetto topico |
Mathematical physics
Diffusion Quantum theory |
| Soggetto non controllato |
Affine space
Algebra Axiom Bell's theorem Brownian motion Central limit theorem Classical mathematics Classical mechanics Clifford algebra Combinatorial proof Commutative property Constructive quantum field theory Continuum hypothesis David Hilbert Dimension (vector space) Discrete mathematics Distribution (mathematics) Eigenfunction Equation Euclidean space Experimental mathematics Fermi–Dirac statistics Feynman–Kac formula First-order logic Fokker–Planck equation Foundations of mathematics Fractal dimension Gaussian process Girsanov theorem Gödel's incompleteness theorems Hilbert space Hilbert's program Holomorphic function Infinitesimal Integer Internal set theory Interval (mathematics) Limit (mathematics) Mathematical induction Mathematical optimization Mathematical physics Mathematical proof Mathematician Mathematics Measurable function Measure (mathematics) Minkowski space Natural number Neo-Riemannian theory Non-standard analysis Number theory Operator algebra Ornstein–Uhlenbeck process Orthonormal basis Perturbation theory (quantum mechanics) Philosophy of mathematics Predicate (mathematical logic) Probability measure Probability space Probability theory Probability Projection (linear algebra) Pure mathematics Pythagorean theorem Quantum field theory Quantum fluctuation Quantum gravity Quantum harmonic oscillator Quantum mechanics Quantum system Quantum teleportation Random variable Real number Renormalization group Renormalization Riemann mapping theorem Riemann surface Riemannian geometry Riemannian manifold Schrödinger equation Scientific notation Set (mathematics) Sign (mathematics) Sobolev inequality Special relativity Spectral theorem Spin (physics) Statistical mechanics Stochastic calculus Stochastic differential equation Tensor algebra Theorem Theoretical physics Theory Turing machine Variable (mathematics) Von Neumann algebra Wiener process Wightman axioms Zermelo–Fraenkel set theory |
| ISBN | 1-4008-6525-5 |
| Classificazione | 33.65 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Contents -- Preface -- Chapter One. Introduction: Diffusive Motion and Where It Leads / Faris, William G. -- Chapter Two. Hypercontractivity, Logarithmic Sobolev Inequalities, and Applications: A Survey of Surveys / Gross, Leonard -- Chapter Three. Ed Nelson's Work in Quantum Theory / Simon, Barry -- Chapter Four Symanzik, Nelson, and Self-Avoiding Walk / Brydges, David C. -- Chapter Five. Stochastic Mechanics: A Look Back and a Look Ahead / Carlen, Eric -- Chapter Six. Current Trends in Optimal Transportation: A Tribute to Ed Nelson / Villani, Cédric -- Chapter Seven. Internal Set Theory and Infinitesimal Random Walks / Lawler, Gregory F. -- Chapter Eight. Nelson's Work on Logic and Foundations and Other Reflections on the Foundations of Mathematics / Buss, Samuel R. -- Chapter Nine. Some Musical Groups: Selected Applications of Group Theory in Music / Hook, Julian -- Chapter Ten. Afterword / Nelson, Edward -- Appendix A. Publications by Edward Nelson -- Index |
| Record Nr. | UNINA-9910811911703321 |
| Princeton, New Jersey ; ; Oxfordshire, England : , : Princeton University Press, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Do Colors Exist? : And Other Profound Physics Questions / Seth Stannard Cottrell
| Do Colors Exist? : And Other Profound Physics Questions / Seth Stannard Cottrell |
| Autore | Cottrell, Seth S. |
| Pubbl/distr/stampa | Cham, : Birkhäuser, 2018 |
| Descrizione fisica | xiii, 278 p. : ill. ; 24 cm |
| Soggetto topico |
83Axx - Special relativity [MSC 2020]
20Bxx - Permutation groups [MSC 2020] 81P45 - Quantum information, communication, networks (quantum-theoretic aspects) [MSC 2020] 03Axx - Philosophical aspects of logic and foundations [MSC 2020] |
| Soggetto non controllato |
Philosophy of Science
Philosophy of mathematics Popular science Quantum Information Quantum physics Relativity |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124643 |
|
Cottrell, Seth S.
|
||
| Cham, : Birkhäuser, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Do Colors Exist? : And Other Profound Physics Questions / Seth Stannard Cottrell
| Do Colors Exist? : And Other Profound Physics Questions / Seth Stannard Cottrell |
| Autore | Cottrell, Seth S. |
| Pubbl/distr/stampa | Cham, : Birkhäuser, 2018 |
| Descrizione fisica | xiii, 278 p. : ill. ; 24 cm |
| Soggetto topico |
03Axx - Philosophical aspects of logic and foundations [MSC 2020]
20Bxx - Permutation groups [MSC 2020] 81P45 - Quantum information, communication, networks (quantum-theoretic aspects) [MSC 2020] 83Axx - Special relativity [MSC 2020] |
| Soggetto non controllato |
Philosophy of Science
Philosophy of mathematics Popular science Quantum Information Quantum physics Relativity |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00124643 |
|
Cottrell, Seth S.
|
||
| Cham, : Birkhäuser, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Formalism and beyond : on the nature of mathematical discourse / / edited by Godehard Link
| Formalism and beyond : on the nature of mathematical discourse / / edited by Godehard Link |
| Pubbl/distr/stampa | Boston : , : De Gruyter, , [2014] |
| Descrizione fisica | 1 online resource (430 p.) |
| Disciplina | 510.1 |
| Collana | Logos : Studien zur Logik, Sprachphilosophie und Metaphysik |
| Soggetto topico |
Mathematics - Philosophy
Logic, Symbolic and mathematical |
| Soggetto non controllato |
Philosophy of mathematics
history of mathematics mathematics |
| ISBN |
1-61451-847-5
1-61451-996-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Contents -- Preface -- Duality, Epistemic Efficiency & Consistency / Detlefsen, Michael -- Frege on Quantities and Real Numbers in Consideration of the Theories of Cantor, Russell and Others / Schirn, Matthias -- Frege on Formality and the 1906 Independence-Test / Blanchette, Patricia A. -- Formal Discourse in Russell: From Metaphysics to Philosophical Logic / Link, Godehard -- On Live and Dead Signs in Mathematics / Mühlhölzer, Felix -- Generalization and the Impossible: Issues in the search for generalized mathematics around 1900 / Ziche, Paul -- Assumptions of Infinity / Niebergall, Karl-Georg -- The Interpretation of Classes in Axiomatic Set Theory / Roth, Daniel / Schneider, Gregor -- Purity in Arithmetic: some Formal and Informal Issues / Arana, Andrew -- Domain Extensions and Higher-Order Syntactical Interpretations / Polański, Marek -- Finite Methods in Mathematical Practice / Crosilla, Laura / Schuster, Peter -- List of Contributors -- Name Index |
| Record Nr. | UNINA-9910788811203321 |
| Boston : , : De Gruyter, , [2014] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
