Undecidable Theories
Studies in Logic and the Foundation of Mathematics
Besorgungstitel - wird vorgemerkt | Lieferzeit: Besorgungstitel - Lieferbar innerhalb von 10 Werktagen I
19,78 €*
Alle Preise inkl. MwSt.
| zzgl. Versand
ISBN-13:
9780486477039
Veröffentl:
2010
Erscheinungsdatum:
19.08.2010
Seiten:
112
Autor:
Alfred Tarski
Gewicht:
132 g
Format:
213x139x10 mm
Sprache:
Englisch
Beschreibung:
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 TarskiI.1. IntroductionI.2. Theories with standard formalizationI.3. Undecidable and essentially undecidable theoriesI.4. Interpretability and weak interpretabilityI.5. Relativization of quantifiersI.6. Examples and applicationsII. Undecidability and Essential Undecidability in Arithmetic by Andrzej Mostowski, Raphael M. Robinson, and Alfred TarskiII.1. A summary of results; notationII.2. Definability in arbitrary theoriesII.3. Formalized arithmetic of natural numbers and its subtheoriesII.4. Recursiveness and definability in subtheories of arithmeticII.5. Undecidability of subtheories of arithmeticII.6. Extension of the results to other arithmetical theories and to various theories of ringsIII. Undecidability of the Elementary Theory of Groups by Alfred TarskiBibliographyIndex
Kunden Rezensionen
Mehr zum Thema
Folgen Sie uns auf:
