Gödel: Ist die Mathematik axiomatisierbar? (1931)

Jost-Hinrich Eschenburg ()
Additional contact information
Jost-Hinrich Eschenburg: Unversität Augsburg, Institut für Mathematik

Chapter 14 in Sternstunden der Mathematik, 2017, pp 151-164 from Springer

Abstract: Zusammenfassung Gibt es eine endliche Menge von Grundsätzen oder Axiomen mit der Eigenschaft, dass alle wahren Sätze der Mathematik nach den Regeln der Logik daraus gefolgert werden können? Im Unterricht an den Hochschulen scheint es fast so: Die reellen Zahlen zum Beispiel werden durch Axiome definiert, die die Rechenregeln, den Umgang mit ” “ sowie die Vollständigkeit nach außen (kein Ende) und innen (keine Lücken) beschreiben. Die Sätze der Analysis werden auf diese Axiome zurückgeführt. Und doch hat Kurt Gödel 1931 bewiesen, dass kein Axiomensystem die ganze Mathematik oder auch nur die Theorie der natürlichen Zahlen 1, 2, 3, ... vollständig beschreiben kann: Wenn es widerspruchsfrei ist, dann gibt es wahre Sätze, die daraus nicht ableitbar sind. Die Widerspruchsfreiheit andererseits kann nicht aus den Axiomen selbst abgeleitet werden.

Date: 2017
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-658-17295-4_14

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

DOI: 10.1007/978-3-658-17295-4_14

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 ().