Predicative Arithmetic (eBook)

(Autor)

eBook Download: PDF
2014
200 Seiten
Princeton University Press (Verlag)
978-1-4008-5892-7 (ISBN)

Lese- und Medienproben

Predicative Arithmetic - Edward Nelson
Systemvoraussetzungen
46,99 inkl. MwSt
  • Download sofort lieferbar
  • Zahlungsarten anzeigen
This book develops arithmetic without the induction principle, working in theories that are interpretable in Raphael Robinson's theory Q. Certain inductive formulas, the bounded ones, are interpretable in Q. A mathematically strong, but logically very weak, predicative arithmetic is constructed.Originally published in 1986.The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.
Erscheint lt. Verlag 14.7.2014
Reihe/Serie Mathematical Notes
Mathematical Notes
Princeton Legacy Library
Princeton Legacy Library
Verlagsort Princeton
Sprache englisch
Themenwelt Sachbuch/Ratgeber Natur / Technik Naturwissenschaft
Mathematik / Informatik Mathematik
Technik
Schlagworte Addition • Adjunction (field theory) • age of the universe • Almost surely • arithmetic • Arithmetic IF • Atomic formula • Axiom • axiomatic system • Beta function • Big O notation • Binary number • Binary Relation • Brownian motion • canonical form • Cardinality • Cartesian coordinate system • chessboard • classical mathematics • Closed-form expression • commutative property • Computation • conservative extension • consistency • Contradiction • Deduction theorem • DIAMETER • Direct proof • Domain of discourse • Elementary mathematics • Elias M. Stein • existential quantification • exponential function • exponentiation • Extension by definitions • Finitary • Finite set • Formula C (SCCA) • Foundations of mathematics • Fundamenta Mathematicae • Gödel's completeness theorem • Herbrand's theorem • impredicativity • Inaccessible cardinal • inference • Interpretability • John Milnor • Logic • Logical connective • Mathematical Induction • Mathematical Logic • mathematician • Mathematics • Measurable cardinal • metamathematics • Metatheorem • model Theory • Mostowski • Natural number • Negation • non-standard analysis • Notation • p-adic analysis • Peano axioms • polynomial • Positional notation • Power of two • Power set • Primitive notion • Primitive Recursive Function • Principia Mathematica • Probability Theory • Quantifier (logic) • Quantity • Ranking (information retrieval) • Rational number • real number • Recursion (computer science) • remainder • Requirement • Robert Langlands • Rule of inference • scientific notation • Sequence • set theory • Subset • Theorem • theory • Transfer principle • Transfinite number • Triviality (mathematics) • Tuple • uniqueness • Universal quantification • Variable (mathematics) • Zermelo–Fraenkel set theory
ISBN-10 1-4008-5892-5 / 1400858925
ISBN-13 978-1-4008-5892-7 / 9781400858927
Haben Sie eine Frage zum Produkt?
PDFPDF (Adobe DRM)

Kopierschutz: Adobe-DRM
Adobe-DRM ist ein Kopierschutz, der das eBook vor Mißbrauch schützen soll. Dabei wird das eBook bereits beim Download auf Ihre persönliche Adobe-ID autorisiert. Lesen können Sie das eBook dann nur auf den Geräten, welche ebenfalls auf Ihre Adobe-ID registriert sind.
Details zum Adobe-DRM

Dateiformat: PDF (Portable Document Format)
Mit einem festen Seiten­layout eignet sich die PDF besonders für Fach­bücher mit Spalten, Tabellen und Abbild­ungen. Eine PDF kann auf fast allen Geräten ange­zeigt werden, ist aber für kleine Displays (Smart­phone, eReader) nur einge­schränkt geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine Adobe-ID und die Software Adobe Digital Editions (kostenlos). Von der Benutzung der OverDrive Media Console raten wir Ihnen ab. Erfahrungsgemäß treten hier gehäuft Probleme mit dem Adobe DRM auf.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen eine Adobe-ID sowie eine kostenlose App.
Geräteliste und zusätzliche Hinweise

Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.

Mehr entdecken
aus dem Bereich
Kaleidoskop der Mathematik

von Ehrhard Behrends; Peter Gritzmann; Günter M. Ziegler

eBook Download (2024)
Springer Berlin Heidelberg (Verlag)
24,99