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.
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 | ||
| ||
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 | ||
| ||