Zum Hauptinhalt springen
Dekorationsartikel gehören nicht zum Leistungsumfang.
The Foundations of Mathematics
Taschenbuch von Kenneth Kunen
Sprache: Englisch

38,80 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
Mathematical logic grew out of philosophical questions regarding the foundations of mathematics, but logic has now outgrown its philosophical roots, and has become an integral part of mathematics in general.
This book is designed for students who plan to specialize in logic, as well
as for those who are interested in the applications of logic to other areas of mathematics. Used as a text, it could form the basis of a beginning
graduate-level course.

There are three main chapters:
Set Theory, Model Theory, and Recursion Theory.

The Set Theory chapter describes the set-theoretic foundations of all of mathematics, based on the ZFC axioms.
It also covers technical results about the Axiom of Choice, well-orderings, and the theory of uncountable cardinals.

The Model Theory chapter discusses predicate logic and formal proofs, and covers the Completeness, Compactness, and Löwenheim-Skolem Theorems,
elementary submodels, model completeness, and applications to algebra.
This chapter also continues the foundational issues begun in the set theory chapter.
Mathematics can now be viewed as formal proofs from ZFC.
Also, model theory leads to models of set theory.
This includes a discussion of absoluteness, and an analysis of models such as H(¿) and R(¿).

The Recursion Theory chapter develops some basic facts about computable functions, and uses them to prove a number of results of foundational importance; in particular, Church's theorem on the undecidability of logical consequence, the incompleteness theorems of Gödel, and Tarski's theorem on the non-definability of truth.
Mathematical logic grew out of philosophical questions regarding the foundations of mathematics, but logic has now outgrown its philosophical roots, and has become an integral part of mathematics in general.
This book is designed for students who plan to specialize in logic, as well
as for those who are interested in the applications of logic to other areas of mathematics. Used as a text, it could form the basis of a beginning
graduate-level course.

There are three main chapters:
Set Theory, Model Theory, and Recursion Theory.

The Set Theory chapter describes the set-theoretic foundations of all of mathematics, based on the ZFC axioms.
It also covers technical results about the Axiom of Choice, well-orderings, and the theory of uncountable cardinals.

The Model Theory chapter discusses predicate logic and formal proofs, and covers the Completeness, Compactness, and Löwenheim-Skolem Theorems,
elementary submodels, model completeness, and applications to algebra.
This chapter also continues the foundational issues begun in the set theory chapter.
Mathematics can now be viewed as formal proofs from ZFC.
Also, model theory leads to models of set theory.
This includes a discussion of absoluteness, and an analysis of models such as H(¿) and R(¿).

The Recursion Theory chapter develops some basic facts about computable functions, and uses them to prove a number of results of foundational importance; in particular, Church's theorem on the undecidability of logical consequence, the incompleteness theorems of Gödel, and Tarski's theorem on the non-definability of truth.
Details
Erscheinungsjahr: 2009
Fachbereich: Grundlagen
Genre: Importe, Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
ISBN-13: 9781904987147
ISBN-10: 1904987141
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: Kunen, Kenneth
Hersteller: College Publications
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 234 x 156 x 15 mm
Von/Mit: Kenneth Kunen
Erscheinungsdatum: 08.09.2009
Gewicht: 0,404 kg
Artikel-ID: 123662770
Details
Erscheinungsjahr: 2009
Fachbereich: Grundlagen
Genre: Importe, Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
ISBN-13: 9781904987147
ISBN-10: 1904987141
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: Kunen, Kenneth
Hersteller: College Publications
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 234 x 156 x 15 mm
Von/Mit: Kenneth Kunen
Erscheinungsdatum: 08.09.2009
Gewicht: 0,404 kg
Artikel-ID: 123662770
Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte