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.
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 | ||
| ||
Consistency of the Continuum Hypothesis. (AM-3), Volume 3 / / Kurt Gödel
| Consistency of the Continuum Hypothesis. (AM-3), Volume 3 / / Kurt Gödel |
| Autore | Gödel Kurt |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (81 pages) |
| Disciplina | 510.1 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Mathematics - Philosophy
Logic, Symbolic and mathematical |
| Soggetto non controllato |
Absoluteness
Addition Axiom of choice Axiom of extensionality Axiom of infinity Axiom Axiomatic system Boolean algebra (structure) Constructible set (topology) Continuum hypothesis Existence theorem Existential quantification Integer Mathematical induction Mathematical logic Mathematics Metatheorem Order by Ordinal number Propositional function Quantifier (logic) Reductio ad absurdum Requirement Set theory Theorem Transfinite induction Transfinite Variable (mathematics) Well-order |
| ISBN | 1-4008-8163-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- CONTENTS -- INTRODUCTION -- CHAPTER I. THE AXIOMS OF ABSTRACT SET THEORY -- CHAPTER II. EXISTENCE OF CLASSES AND SETS -- CHAPTER III. ORDINAL NUMBERS -- CHAPTER IV. CARDINAL NUMBERS -- CHAPTER V. THE MODEL Δ -- CHAPTER VI. PROOF OF THE AXIOMS OF GROUPS A-D FOR THE MODEL Δ -- CHAPTER VII. PROOF THAT V = L HOLDS IN THE MODEL Δ -- CHAPTER VIII. PROOF THAT V = L IMPLIES THE AXIOM OF CHOICE AND THE GENERALISED CONTINTUUM-HYPOTHESIS -- APPENDIX -- INDEX -- Notes Added to the Second Printing -- BIBLIOGRAPHY |
| Record Nr. | UNINA-9910154754203321 |
|
Gödel Kurt
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction to Mathematical Logic (PMS-13), Volume 13 / / Alonzo Church
| Introduction to Mathematical Logic (PMS-13), Volume 13 / / Alonzo Church |
| Autore | Church Alonzo |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (389 pages) |
| Disciplina | 511.3 |
| Collana | Princeton Mathematical Series |
| Soggetto topico | Logic, Symbolic and mathematical |
| Soggetto non controllato |
Abstract algebra
Acta Mathematica Arithmetic Axiom of choice Axiom of infinity Axiom of reducibility Axiom schema Axiom Axiomatic system Binary function Boolean algebra (structure) Boolean ring Calculus ratiocinator Characterization (mathematics) Class (set theory) Classical mathematics Commutative property Commutative ring Conditional disjunction David Hilbert Decision problem Deduction theorem Denotation Disjunctive syllogism Double negation Duality (mathematics) Elementary algebra Elementary arithmetic English alphabet Equation Existential quantification Expression (mathematics) Formation rule Frege (programming language) Function (mathematics) Functional calculus Fundamenta Mathematicae Gödel numbering Gödel's completeness theorem Gödel's incompleteness theorems Hilbert's program Hypothetical syllogism Imperative logic Inference Introduction to Mathematical Philosophy Lambda calculus Linear differential equation Logic Logical connective Logical disjunction Material implication (rule of inference) Mathematical analysis Mathematical induction Mathematical logic Mathematical notation Mathematical practice Mathematical problem Mathematical theory Mathematics Mathematische Zeitschrift Metatheorem Modal logic Modus ponendo tollens Natural number Naturalness (physics) Negation Notation Number theory Object language Parity (mathematics) Predicate (mathematical logic) Prenex normal form Principia Mathematica Propositional calculus Propositional function Propositional variable Quantifier (logic) Range (mathematics) Real number Recursion (computer science) Restriction (mathematics) Riemann surface Ring (mathematics) Rule of inference Scientific notation Second-order arithmetic Series (mathematics) Sign (mathematics) Skolem normal form Special case Tautology (logic) Term logic The Principles of Mathematics Theorem Three-dimensional space (mathematics) Transfinite number Triviality (mathematics) Truth table Variable (mathematics) Zermelo set theory |
| ISBN | 1-4008-8145-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Contents -- Introduction -- I. The Propositional Calculus -- II. The Propositional Calculus (Continued) -- III. Functional Calculi of First Order -- IV. The Pure Functional Calculus of First Order -- V. Functional Calculi of Second Order -- Index of Definitions -- Index of Authors -- Errata |
| Record Nr. | UNINA-9910154754303321 |
|
Church Alonzo
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Metric Methods of Finsler Spaces and in the Foundations of Geometry. (AM-8) / / Herbert Busemann
| Metric Methods of Finsler Spaces and in the Foundations of Geometry. (AM-8) / / Herbert Busemann |
| Autore | Busemann Herbert |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (252 pages) : illustrations |
| Disciplina | 516 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Generalized spaces
Geometry - Foundations |
| Soggetto non controllato |
Abelian group
Absolute geometry Affine transformation Approximation Arc length Archimedean property Asymptote Axiom A. Axiom Axiomatic system Bernhard Riemann C0 Cartesian coordinate system Closed geodesic Collinearity Compact space Conjecture Conjugate points Constant curvature Convex body Convex curve Convex function Convex hull Convex metric space Convex polygon Convex set Coordinate system Counterexample Covariance and contravariance of vectors Curvature Diameter Differentiable function Dimension (vector space) Dimension Dimensional analysis Elementary proof Ellipse Ellipsoid Elliptic geometry Equation Equidistant Euclidean distance Euclidean geometry Euclidean space Exterior (topology) Geodesic Geodesy Geometry Group theory Hilbert geometry Hilbert space Homogeneous space Homotopy Hyperbola Hyperbolic geometry Hyperbolic motion Hyperplane Infimum and supremum Infinitesimal Intersection (set theory) Invariance theorem Jordan curve theorem Limit point Line at infinity Linear space (geometry) Linear subspace Linearity Metric space Minkowski space Non-Euclidean geometry Non-positive curvature Notation Open problem Parity (mathematics) Perpendicular Pointwise Projective geometry Projective plane Requirement Riemannian geometry Sequence Sign (mathematics) Simply connected space Special case Subgroup Subsequence Subset Tangent cone Tangent space Theorem Theory Three-dimensional space (mathematics) Topological group Topological space Topology Transitive relation Triangle inequality Two-dimensional space Unit circle Unit vector |
| ISBN | 1-4008-8229-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Table of Contents -- Chapter I. Metric Spaces with Geodesics -- Chapter II. Metric Conditions for Finsler Spaces -- Chapter III. Properties of General S. L. Spaces -- Chapter IV. Spaces with Convex Spheres -- Chapter V. Motions -- Bibliography -- Index |
| Record Nr. | UNINA-9910154744003321 |
|
Busemann Herbert
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Radically Elementary Probability Theory. (AM-117), Volume 117 / / Edward Nelson
| Radically Elementary Probability Theory. (AM-117), Volume 117 / / Edward Nelson |
| Autore | Nelson Edward |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (109 pages) : illustrations |
| Disciplina | 519.2 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Martingales (Mathematics)
Stochastic processes Probabilities |
| Soggetto non controllato |
Abraham Robinson
Absolute value Addition Algebra of random variables Almost surely Axiom Axiomatic system Borel set Bounded function Cantor's diagonal argument Cardinality Cartesian product Central limit theorem Chebyshev's inequality Compact space Contradiction Convergence of random variables Corollary Correlation coefficient Counterexample Dimension (vector space) Dimension Division by zero Elementary function Estimation Existential quantification Family of sets Finite set Hyperplane Idealization Independence (probability theory) Indicator function Infinitesimal Internal set theory Joint probability distribution Law of large numbers Linear function Martingale (probability theory) Mathematical induction Mathematician Mathematics Measure (mathematics) N0 Natural number Non-standard analysis Norm (mathematics) Orthogonal complement Parameter Path space Predictable process Probability distribution Probability measure Probability space Probability theory Probability Product topology Projection (linear algebra) Quadratic variation Random variable Real number Requirement Scientific notation Sequence Set (mathematics) Significant figures Special case Standard deviation Statistical mechanics Stochastic process Subalgebra Subset Summation Theorem Theory Total variation Transfer principle Transfinite number Trigonometric functions Upper and lower bounds Variable (mathematics) Variance Vector space W0 Wiener process Without loss of generality |
| ISBN | 1-4008-8214-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Table of contents -- Preface -- Acknowledgments -- 1. Random variables -- 2. Algebras of random variables -- 3. Stochastic processes -- 4. External concepts -- 5. Infinitesimals -- 6. External analogues of internal notions -- 7. Properties that hold almost everywhere -- 8. L1 random variables 30 -- 9. The decomposition of a stochastic process -- 10. The total variation of a process -- 11. Convergence of martingales -- 12. Fluctuations of martingales -- 13. Discontinuities of martingales -- 14. The Lindeberg condition -- 15. The maximum of a martingale -- 16. The law of large numbers -- 17. Nearly equivalent stochastic processes -- 18. The de Moivre-Laplace-Lindeberg-Feller-Wiener- Lévy-Doob-Erdös-Kac-Donsker-Prokhorov theorem -- Appendix -- Index |
| Record Nr. | UNINA-9910154754503321 |
|
Nelson Edward
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Surface Area. (AM-35), Volume 35 / / Lamberto Cesari
| Surface Area. (AM-35), Volume 35 / / Lamberto Cesari |
| Autore | Cesari Lamberto |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (612 pages) : illustrations |
| Disciplina | 516.36 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico | Surfaces |
| Soggetto non controllato |
Absolute continuity
Addition Admissible set Arc length Axiom Axiomatic system Bearing (navigation) Bounded variation Calculus of variations Circumference Compact space Complex analysis Concentric Connected space Continuous function (set theory) Continuous function Corollary Countable set Covering set Curve Derivative Diameter Differentiable function Differential geometry Direct proof Dirichlet integral Disjoint sets Empty set Equation Equicontinuity Existence theorem Existential quantification Function (mathematics) Functional analysis Geometry Hausdorff measure Homeomorphism Homotopy Infimum and supremum Integral geometry Intersection number (graph theory) Interval (mathematics) Iterative method Jacobian Lebesgue integration Lebesgue measure Limit (mathematics) Limit point Limit superior and limit inferior Linearity Line–line intersection Locally compact space Mathematician Mathematics Measure (mathematics) Metric space Morphism Natural number Nonparametric statistics Orientability Parameter Parametric equation Parametric surface Partial derivative Potential theory Radon–Nikodym theorem Representation theorem Representation theory Right angle Semi-continuity Set function Set theory Sign (mathematics) Smoothness Space-filling curve Subset Summation Surface area Tangent space Theorem Topological space Topology Total order Total variation Uniform convergence Unit square |
| ISBN | 1-4008-8232-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- PREFACE -- CONTENTS -- CHAPTER I. INTRODUCTORY- CONSIDERATIONS -- CHAPTER II. LEBESGUE AREA -- CHAPTER III. THE GEÖCZE AREAS V AND U AND THE PEANO AREA P -- CHAPTER IV. BV AND AC PLANE MAPPINGS -- CHAPTER V. THE FIRST THEOREM -- CHAPTER VI. THE CAVALIERI INEQUALITY -- CHAPTER VII. IDENTIFICATION OF LEBESGUE, GEÖCZE, PEANO AREAS -- CHAPTER VIII. GEOMETRICAL PROPERTIES AND THE SECOND THEOREM -- CHAPTER IX. THE REPRESENTATION PROBLEM -- CHAPTER X. THE REPRESENTATION OF GENERAL SURFACES AND THE THIRD THEOREM -- APPENDIX A. A DIRECT PROOF OF A PROPERTY OF CONTINUOUS SURFACES -- APPENDIX B. WEIERSTRASS INTEGRAL OVER A SURFACE -- BIBLIOGRAPHY -- SPECIAL SIGNS AND ABBREVIATIONS -- Backmatter |
| Record Nr. | UNINA-9910154743203321 |
|
Cesari Lamberto
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theory of Formal Systems. (AM-47), Volume 47 / / Raymond M. Smullyan
| Theory of Formal Systems. (AM-47), Volume 47 / / Raymond M. Smullyan |
| Autore | Smullyan Raymond M. |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (157 pages) : illustrations |
| Disciplina | 511.33 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Recursive functions
Metamathematics |
| Soggetto non controllato |
Addition
Algebraic geometry Alonzo Church Arithmetic function Arithmetic Atomic sentence Axiom A. Axiom schema Axiom Axiomatic system Binary relation Cantor's diagonal argument Cartesian product Characterization (mathematics) Chinese remainder theorem Closed-form expression Closure (mathematics) Combination Combinatory logic Complement (set theory) Concatenation theory Consistency Constructive proof Corollary Countable set Counterexample Decidability (logic) Decision problem Definable set Diagonalization Direct proof Disjoint sets Enumeration Equation Existential quantification Exponential function Finite set Formal system Functional calculus Gödel numbering Gödel's incompleteness theorems Herbrand's theorem Inference Integer factorization Iteration John Myhill Logical connective Logical consequence Mathematical induction Mathematical logic Mathematician Mathematics Metamathematics Modus ponens Natural number Negation Number theory Order theory Parity (mathematics) Peano axioms Predicate (mathematical logic) Prenex normal form Primitive recursive function Quantifier (logic) Recursion Recursive set Recursively enumerable set Remainder Requirement Rule of inference Scientific notation Sequence Set (mathematics) Sign (mathematics) Special case Subset Suggestion System U. Theorem Theory Transfinite number Turing machine Universal set Validity Variable (mathematics) Zermelo set theory |
| ISBN | 1-4008-8200-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- TABLE OF CONTENTS -- PREFACE -- ANNALS OF MATHEMATICS STUDIES -- CHAPTER I: FORMAL MATHEMATICAL SYSTEMS -- CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY -- CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY -- CHAPTER IV: RECURSIVE FUNCTION THEORY -- CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY -- SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC -- REFERENCE AND BRIEF BIBLIOGRAPHY |
| Record Nr. | UNINA-9910154750903321 |
|
Smullyan Raymond M.
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||