國立虎尾科技大學 |

Grenzen der Mathematik = Eine Reise durch die Kerngebiete der mathematischen Logik /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Grenzen der Mathematik/ von Dirk W. Hoffmann.
其他題名:	Eine Reise durch die Kerngebiete der mathematischen Logik /
作者:	Hoffmann, Dirk W.
面頁冊數:	IX, 441 S. 253 Abb., 183 Abb. in Farbe.online resource. :
Contained By:	Springer Nature eBook
標題:	Mathematical logic. -
電子資源:	https://doi.org/10.1007/978-3-662-56617-6
ISBN:	9783662566176

Grenzen der Mathematik = Eine Reise durch die Kerngebiete der mathematischen Logik /
Hoffmann, Dirk W.

Grenzen der MathematikEine Reise durch die Kerngebiete der mathematischen Logik /[electronic resource] :von Dirk W. Hoffmann. - 3rd ed. 2018. - IX, 441 S. 253 Abb., 183 Abb. in Farbe.online resource.

1 Historische Notizen -- 2 Formale Systeme -- 3 Fundamente der Mathematik -- 4 Beweistheorie -- 5 Berechenbarkeitstheorie -- 6 Algorithmische Informationstheorie -- 7 Modelltheorie.

Ist die Mathematik frei von Widersprüchen? Gibt es Wahrheiten jenseits des Beweisbaren? Ist es möglich, unser mathematisches Wissen in eine einzige Zahl hineinzucodieren? Die moderne mathematische Logik des zwanzigsten Jahrhunderts gibt verblüffende Antworten auf solche Fragen; Antworten, die die Mathematik in der gleichen Weise verändert haben wie die Einstein’sche Relativitätstheorie die Physik. Heute wissen wir, dass in der Mathematik erkenntnistheoretische Grenzen existieren, die wir nicht überwinden können. Sie sind integraler Bestandteil jener Gesetzmäßigkeiten, die diese Wissenschaft im Innersten zusammenhalten. Das vorliegende Buch entführt Sie auf eine Reise durch die Kerngebiete der mathematischen Logik, hin zu den Grenzen der Mathematik. Unter anderem werden die folgenden Themen behandelt: Geschichte der mathematischen Logik, formale Systeme, axiomatische Zahlentheorie und Mengenlehre, Beweistheorie, die Gödel‘schen Unvollständigkeitssätze, Berechenbarkeitstheorie, algorithmische Informationstheorie, Modelltheorie. Das Buch enthält zahlreiche zweifarbige Abbildungen und mehr als 70 Aufgaben (mit Lösungen auf der Website zum Buch). Für die dritte Auflage wurde das Kapitel ‚Modelltheorie‘ um eine Beschreibung der von Paul Cohen entwickelten Forcing-Technik ergänzt. Stimmen zur ersten Auflage: „Der Schreibstil des Autors – stets auf Verständlichkeit bedacht – die vielen historischen Bezüge, die wohldurchdachte Aufmachung des Buches mit seinen vielen Bildern, Beispielen und Merkkästen und nicht zuletzt die jedem Kapitel beigegebenen Aufgaben machen das Buch zu einer Perle.“ Mathematische Semesterberichte „Ein lang ersehntes Buch“, „Spannender kann man ein Sachbuch nicht schreiben.“, „Definitives Muss.“ Aus verschiedenen Leserrezensionen auf amazon.de Der Autor Prof. Dr. Dirk W. Hoffmann ist Dozent an der Fakultät für Informatik und Wirtschaftsinformatik der Hochschule Karlsruhe – Technik und Wirtschaft. Von ihm ist im gleichen Verlag das Werk Die Gödel’schen Unvollständigkeitssätze – Eine geführte Reise durch Kurt Gödels historischen Beweis erschienen.

ISBN: 9783662566176

Standard No.: 10.1007/978-3-662-56617-6doiSubjects--Topical Terms:

810627
Mathematical logic.

LC Class. No.: QA8.9-10.3

Dewey Class. No.: 511.3

Grenzen der Mathematik = Eine Reise durch die Kerngebiete der mathematischen Logik /
LDR:03605nam a22003615i 4500 001 992420
003 DE-He213
005 20200711025300.0
007 cr nn 008mamaa
008 201225s2018 gw | s |||| 0|ger d
020 $a 9783662566176 $9 978-3-662-56617-6
024 7 $a 10.1007/978-3-662-56617-6 $2 doi
035 $a 978-3-662-56617-6
050 4 $a QA8.9-10.3
072 7 $a PBC $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a PBC $2 thema
072 7 $a PBCD $2 thema
082 0 4 $a 511.3 $2 23
100 1 $a Hoffmann, Dirk W. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1284130
245 1 0 $a Grenzen der Mathematik $h [electronic resource] : $b Eine Reise durch die Kerngebiete der mathematischen Logik / $c von Dirk W. Hoffmann.
250 $a 3rd ed. 2018.
264 1 $a Berlin, Heidelberg : $b Springer Berlin Heidelberg : $b Imprint: Springer Spektrum, $c 2018.
300 $a IX, 441 S. 253 Abb., 183 Abb. in Farbe. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
505 0 $a 1 Historische Notizen -- 2 Formale Systeme -- 3 Fundamente der Mathematik -- 4 Beweistheorie -- 5 Berechenbarkeitstheorie -- 6 Algorithmische Informationstheorie -- 7 Modelltheorie.
520 $a Ist die Mathematik frei von Widersprüchen? Gibt es Wahrheiten jenseits des Beweisbaren? Ist es möglich, unser mathematisches Wissen in eine einzige Zahl hineinzucodieren? Die moderne mathematische Logik des zwanzigsten Jahrhunderts gibt verblüffende Antworten auf solche Fragen; Antworten, die die Mathematik in der gleichen Weise verändert haben wie die Einstein’sche Relativitätstheorie die Physik. Heute wissen wir, dass in der Mathematik erkenntnistheoretische Grenzen existieren, die wir nicht überwinden können. Sie sind integraler Bestandteil jener Gesetzmäßigkeiten, die diese Wissenschaft im Innersten zusammenhalten. Das vorliegende Buch entführt Sie auf eine Reise durch die Kerngebiete der mathematischen Logik, hin zu den Grenzen der Mathematik. Unter anderem werden die folgenden Themen behandelt: Geschichte der mathematischen Logik, formale Systeme, axiomatische Zahlentheorie und Mengenlehre, Beweistheorie, die Gödel‘schen Unvollständigkeitssätze, Berechenbarkeitstheorie, algorithmische Informationstheorie, Modelltheorie. Das Buch enthält zahlreiche zweifarbige Abbildungen und mehr als 70 Aufgaben (mit Lösungen auf der Website zum Buch). Für die dritte Auflage wurde das Kapitel ‚Modelltheorie‘ um eine Beschreibung der von Paul Cohen entwickelten Forcing-Technik ergänzt. Stimmen zur ersten Auflage: „Der Schreibstil des Autors – stets auf Verständlichkeit bedacht – die vielen historischen Bezüge, die wohldurchdachte Aufmachung des Buches mit seinen vielen Bildern, Beispielen und Merkkästen und nicht zuletzt die jedem Kapitel beigegebenen Aufgaben machen das Buch zu einer Perle.“ Mathematische Semesterberichte „Ein lang ersehntes Buch“, „Spannender kann man ein Sachbuch nicht schreiben.“, „Definitives Muss.“ Aus verschiedenen Leserrezensionen auf amazon.de Der Autor Prof. Dr. Dirk W. Hoffmann ist Dozent an der Fakultät für Informatik und Wirtschaftsinformatik der Hochschule Karlsruhe – Technik und Wirtschaft. Von ihm ist im gleichen Verlag das Werk Die Gödel’schen Unvollständigkeitssätze – Eine geführte Reise durch Kurt Gödels historischen Beweis erschienen.
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 1 4 $a Mathematical Logic and Foundations. $3 669393
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783662566169
856 4 0 $u https://doi.org/10.1007/978-3-662-56617-6
912 $a ZDB-2-SNA
950 $a Life Science and Basic Disciplines (German Language) (SpringerNature-11777)