Die formalen Grundlagen der Mathematik

Dirk W. Hoffmann
Additional contact information
Dirk W. Hoffmann: Hochschule Karlsruhe, Fakultät für Informatik und Wirtschaftsinformatik

Chapter 2 in Die Gödel’schen Unvollständigkeitssätze, 2013, pp 43-118 from Springer

Abstract: Zusammenfassung In diesem Kapitel werfen wir einen Blick auf die Geschichte der mathematischen Logik und führen dabei mehrere Begriffe ein, die für das Verständnis der Gödel’schen Arbeit unabdingbar sind. Unsere Reise beginnt in Abschnitt 2.1 mit einem Ausflug in das späte neunzehnte Jahrhundert. Dort lernen wir Gottlob Frege kennen, der für die Entwicklung der modernen Logik Maßgebliches geleistet hat und der gleichzeitig zu den tragischen Figuren der Wissenschaftsgeschichte gehört. In Abschnitt 2.2 beschäftigen wir uns mit den Arbeiten von Giuseppe Peano und besprechen die axiomatische Begründung der natürlichen Zahlen. Die Arbeiten von Frege und Peano spielen eine wesentliche Rolle in der Geschichte von Bertrand Russell, unserem nächsten Protagonisten. In Abschnitt 2.3 leiten wir zunächst die Russell’sche Antinomie her und klären anschließend, warum sie die Statik der Mathematik an einer tragenden Stelle beschädigte. Anschließend wenden wir uns jenem monumentalen Werk zu, das Gödel bereits im Titel seiner Arbeit erwähnt: der Principia Mathematica. Schließlich diskutieren wir in Abschnitt 2.4 die moderne Mengenlehre und verschaffen uns einen Überblick über die axiomatischen Systeme, die uns für die formale Verankerung der Mathematik gegenwärtig zur Verfügung stehen.

Date: 2013
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-8274-3000-7_2

Ordering information: This item can be ordered from
http://www.springer.com/9783827430007

DOI: 10.1007/978-3-8274-3000-7_2

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().