eBook.de : Ihr Online Shop für eBooks, Reader, Downloads und Bücher
+49 (0)40 4223 6096
PORTO-
FREI

Undecidable Theories: Studies in Logic and the Foundation of Mathematics

Vorbestellbar
Taschenbuch
Taschenbuch € 14,49* inkl. MwSt.
Portofrei*

Produktdetails

Titel: Undecidable Theories: Studies in Logic and the Foundation of Mathematics
Autor/en: Alfred Tarski

ISBN: 0486477037
EAN: 9780486477039
Dover.
Sprache: Englisch.
DOVER PUBN INC

1. August 2010 - kartoniert - 98 Seiten

  • Empfehlen
This well-known book by the famed logician consists of three treatises: "A General Method in Proofs of Undecidability," "Undecidability and Essential Undecidability in Mathematics," and "Undecidability of the Elementary Theory of Groups." 1953 edition.

I. A General Method in Proofs of Undecidability by Alfred Tarski
I.1. Introduction
I.2. Theories with standard formalization
I.3. Undecidable and essentially undecidable theories
I.4. Interpretability and weak interpretability
I.5. Relativization of quantifiers
I.6. Examples and applications

II. Undecidability and Essential Undecidability in Arithmetic by Andrzej Mostowski, Raphael M. Robinson, and Alfred Tarski
II.1. A summary of results; notation
II.2. Definability in arbitrary theories
II.3. Formalized arithmetic of natural numbers and its subtheories
II.4. Recursiveness and definability in subtheories of arithmetic
II.5. Undecidability of subtheories of arithmetic
II.6. Extension of the results to other arithmetical theories and to various theories of rings

III. Undecidability of the Elementary Theory of Groups by Alfred Tarski

Bibliography

Index
Kundenbewertungen zu Alfred Tarski „Undecidable Theories: Studies in Logic and the Foundation o…
Noch keine Bewertungen vorhanden
Zur Rangliste der Rezensenten
Veröffentlichen Sie Ihre Kundenbewertung:
Kundenbewertung schreiben
Unsere Leistungen auf einen Klick
Unser Service für Sie
Zahlungsmethoden
Bequem, einfach und sicher mit eBook.de. mehr Infos akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal mehr Infos
Geprüfte Qualität
  • Schnelle Downloads
  • Datenschutz
  • Sichere Zahlung
  • SSL-Verschlüsselung
Servicehotline
+49 (0)40 4223 6096
Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 18.00 Uhr
Chat
Ihre E-Mail-Adresse eintragen und kostenlos informiert werden:
2 Diese Artikel unterliegen nicht der Preisbindung, die Preisbindung dieser Artikel wurde aufgehoben oder der Preis wurde vom Verlag gesenkt. Die jeweils zutreffende Alternative wird Ihnen auf der Artikelseite dargestellt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

3 Durch Öffnen der Leseprobe willigen Sie ein, dass Daten an den Anbieter der Leseprobe übermittelt werden.

4 Der gebundene Preis dieses Artikels wird nach Ablauf des auf der Artikelseite dargestellten Datums vom Verlag angehoben.

5 Der Preisvergleich bezieht sich auf die unverbindliche Preisempfehlung (UVP) des Herstellers.

6 Der gebundene Preis dieses Artikels wurde vom Verlag gesenkt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

7 Die Preisbindung dieses Artikels wurde aufgehoben. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier

eBook.de - Meine Bücher immer dabei
eBook.de ist eine Marke der Hugendubel Digital GmbH & Co. KG
Folgen Sie uns unter: