Blick ins Buch

Predicative Arithmetic (eBook)

Edward Nelson (Autor)

eBook Download: PDF

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

Lese- und Medienproben

Ebook-Leseprobe (PDF)

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?

PDF (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 Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschrä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.