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.
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 | ||
| ||
Logic, mathematics, and computer science : modern foundations with practical applications / Yves Nievergelt
| Logic, mathematics, and computer science : modern foundations with practical applications / Yves Nievergelt |
| Autore | Nievergelt, Yves |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | New York, : Springer, 2015 |
| Descrizione fisica | XII, 391 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 91-XX - Game theory, economics, finance, and other social and behavioral sciences [MSC 2020] |
| Soggetto non controllato |
Applications sets and functions
First-order logic Foundations mathematics Gale and Shapely algorithm Inference rules Math transition course textbook Mathematical induction Nash equilibrium Prisoner's dilemma Propositional logic Set Theory Transfinite induction |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0113185 |
Nievergelt, Yves
|
||
| New York, : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logic, mathematics, and computer science : modern foundations with practical applications / Yves Nievergelt
| Logic, mathematics, and computer science : modern foundations with practical applications / Yves Nievergelt |
| Autore | Nievergelt, Yves |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | New York, : Springer, 2015 |
| Descrizione fisica | XII, 391 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
68-XX - Computer science [MSC 2020] 91-XX - Game theory, economics, finance, and other social and behavioral sciences [MSC 2020] |
| Soggetto non controllato |
Applications sets and functions
First-order logic Foundations mathematics Gale and Shapely algorithm Inference rules Math transition course Mathematical induction Nash equilibrium Prisoner's dilemma Propositional logic Set Theory Transfinite induction |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00113185 |
|
Nievergelt, Yves
|
||
| New York, : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings / Sergei Artemov, Anil Nerode editors
| Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings / Sergei Artemov, Anil Nerode editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | x, 287 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 03B70 - Logic in computer science [MSC 2020] |
| Soggetto non controllato |
Artificial Intelligence
Complexity Computability Computer Science Constructive type theory First-order logic Formal logic GPAC-generable functions Higher-order arithmetics Knowledge of uncertain worlds Modal Logic Non-normal modal logics Observable models Primitive recursion Problem Solving Semanitic systems Theorem proving |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0249404 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings / Sergei Artemov, Anil Nerode editors
| Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings / Sergei Artemov, Anil Nerode editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | x, 287 p. : ill. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03B70 - Logic in computer science [MSC 2020] |
| Soggetto non controllato |
Artificial Intelligence
Complexity Computability Computer Science Constructive type theory First-order logic Formal logic GPAC-generable functions Higher-order arithmetics Knowledge of uncertain worlds Modal Logic Non-normal modal logics Observable models Primitive recursion Problem Solving Semanitic systems Theorem proving |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00249404 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematical Logic : Exercises and Solutions / Laszlo Csirmaz, Zalán Gyenis
| Mathematical Logic : Exercises and Solutions / Laszlo Csirmaz, Zalán Gyenis |
| Autore | Csirmaz, Laszlo |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | viii, 319 p. : ill. ; 24 cm |
| Altri autori (Persone) | Gyenis, Zalán |
| Soggetto topico |
00A07 - Problem books [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] |
| Soggetto non controllato |
First-order logic
Formal logic Gödel’s theorems Mathematical logic Peano axiom system Predicate calculus Problem Solving Propositional calculus Recursion theory ultraproductS |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0277839 |
|
Csirmaz, Laszlo
|
||
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematical Logic : Exercises and Solutions / Laszlo Csirmaz, Zalán Gyenis
| Mathematical Logic : Exercises and Solutions / Laszlo Csirmaz, Zalán Gyenis |
| Autore | Csirmaz, Laszlo |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | viii, 319 p. : ill. ; 24 cm |
| Altri autori (Persone) | Gyenis, Zalán |
| Soggetto topico |
00A07 - Problem books [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] |
| Soggetto non controllato |
First-order logic
Formal logic Gödel’s theorems Mathematical logic Peano axiom system Predicate calculus Problem Solving Propositional calculus Recursion theory Ultraproducts |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00277839 |
|
Csirmaz, Laszlo
|
||
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematical Logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
| Mathematical Logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas |
| Autore | Ebbinghaus, Heinz-Dieter |
| Edizione | [3. ed] |
| Pubbl/distr/stampa | Cham, : Springer, 2021 |
| Descrizione fisica | ix, 304 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Flum, Jörg
Thomas, Wolfgang <1947- > |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020] 03C07 - Basic properties of first-order languages and structures [MSC 2020] 03B10 - Classical first-order logic [MSC 2020] |
| Soggetto non controllato |
Axiom system logic
Computability logic First-order language First-order logic Graduate mathematical logic Gödel’s completeness theorem Herbrand's theorem Infinitary languages Lindström’s theorem Logic computer science Mathematical logic Mathematical provability Model theory logic Presburger arithmetic Propositional logic Second order logic Trakhtenbrot’s theorem Weak monadic second order |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0274931 |
|
Ebbinghaus, Heinz-Dieter
|
||
| Cham, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematical Logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
| Mathematical Logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas |
| Autore | Ebbinghaus, Heinz-Dieter |
| Edizione | [3. ed] |
| Pubbl/distr/stampa | Cham, : Springer, 2021 |
| Descrizione fisica | ix, 304 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Flum, Jörg
Thomas, Wolfgang <1947- > |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B10 - Classical first-order logic [MSC 2020] 03Bxx - General logic [MSC 2020] 03C07 - Basic properties of first-order languages and structures [MSC 2020] |
| Soggetto non controllato |
Axiom system logic
Computability logic First-order language First-order logic Gödel’s completeness theorem Herbrand's theorem Infinitary languages Lindström’s theorem Logic computer science Mathematical logic Mathematical provability Model theory logic Presburger arithmetic Propositional logic Second order logic Trakhtenbrot’s theorem Weak monadic second order |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00274931 |
|
Ebbinghaus, Heinz-Dieter
|
||
| Cham, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
