The justification of set theory: between metaphysics and formal axiomatics (Q2849100)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The justification of set theory: between metaphysics and formal axiomatics |
scientific article; zbMATH DE number 6208359
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The justification of set theory: between metaphysics and formal axiomatics |
scientific article; zbMATH DE number 6208359 |
Statements
16 September 2013
0 references
set theory
0 references
axiomatics
0 references
formal theories
0 references
Gödel's incompleteness theorem
0 references
The justification of set theory: between metaphysics and formal axiomatics (English)
0 references
Justification means the act of showing a thing to be just, i.e. based on reasonable grounds, or right. The paper under review is a detailed presentation of the author's philosophical and historical understanding of processes that happened in set theory from its very origin. As for justifications, they are classified in metaphysical (Cantor), logical (Dedekind), metamathematical and formal (Hilbert), and axiomatical (Zermelo). Kurt Gödel's incompleteness theorem completes this classical period.NEWLINENEWLINEFor the entire collection see [Zbl 1236.03004].
0 references
