Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Dekorationsartikel gehören nicht zum Leistungsumfang.
Foundations of Logic - Completeness, Incompleteness, Computability
Taschenbuch von Dag Westerstahl
Sprache: Englisch

46,00 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
A comprehensive introduction to logic's central concepts. This book provides a concise but detailed account of modern logic's three cornerstones: the completeness of first-order logic, Gödel's Incompleteness Theorems, and Turing's analysis of computability. In addition to the central text, an appendix explains the required technical terminology and facts. The main ideas behind the three cornerstones are explained in a simple, easy-to-grasp manner, and it is possible to select among the chapters and sections so that the reader becomes familiar with these ideas, even if some technicalities are skipped or postponed. A wealth of exercises accompany a wide selection of materials, including the histories and philosophical implications of the three main premises, making it useful as a textbook for undergraduate or graduate courses focusing on any of the three main themes. The material is rigorous and detailed but keeps the main ideas in sight, and there are numerous excursions into more advanced material for curious readers to explore.
A comprehensive introduction to logic's central concepts. This book provides a concise but detailed account of modern logic's three cornerstones: the completeness of first-order logic, Gödel's Incompleteness Theorems, and Turing's analysis of computability. In addition to the central text, an appendix explains the required technical terminology and facts. The main ideas behind the three cornerstones are explained in a simple, easy-to-grasp manner, and it is possible to select among the chapters and sections so that the reader becomes familiar with these ideas, even if some technicalities are skipped or postponed. A wealth of exercises accompany a wide selection of materials, including the histories and philosophical implications of the three main premises, making it useful as a textbook for undergraduate or graduate courses focusing on any of the three main themes. The material is rigorous and detailed but keeps the main ideas in sight, and there are numerous excursions into more advanced material for curious readers to explore.
Über den Autor
Dag Westerståhl is professor emeritus of theoretical philosophy and logic at Stockholm University. His recent research is in the area of generalized quantifiers, formal semantics, and the philosophy of logic.
Details
Erscheinungsjahr: 2024
Fachbereich: Allgemeines
Genre: Importe, Philosophie
Jahrhundert: Antike
Rubrik: Geisteswissenschaften
Thema: Lexika
Medium: Taschenbuch
Inhalt: Einband - flex.(Paperback)
ISBN-13: 9781684000005
ISBN-10: 1684000009
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: Westerstahl, Dag
Hersteller: Centre for the Study of Language & Information
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 225 x 150 x 28 mm
Von/Mit: Dag Westerstahl
Erscheinungsdatum: 05.01.2024
Gewicht: 0,646 kg
Artikel-ID: 127954340
Über den Autor
Dag Westerståhl is professor emeritus of theoretical philosophy and logic at Stockholm University. His recent research is in the area of generalized quantifiers, formal semantics, and the philosophy of logic.
Details
Erscheinungsjahr: 2024
Fachbereich: Allgemeines
Genre: Importe, Philosophie
Jahrhundert: Antike
Rubrik: Geisteswissenschaften
Thema: Lexika
Medium: Taschenbuch
Inhalt: Einband - flex.(Paperback)
ISBN-13: 9781684000005
ISBN-10: 1684000009
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: Westerstahl, Dag
Hersteller: Centre for the Study of Language & Information
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 225 x 150 x 28 mm
Von/Mit: Dag Westerstahl
Erscheinungsdatum: 05.01.2024
Gewicht: 0,646 kg
Artikel-ID: 127954340
Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte