Set theory -- from Cantor's heaven to the first theory among equals (Q1279498)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Set theory -- from Cantor's heaven to the first theory among equals |
scientific article |
Statements
Set theory -- from Cantor's heaven to the first theory among equals (English)
0 references
10 February 1999
0 references
Addressing a wider audience the author describes the development of set theory and of its logical foundations as a sequence of catastrophes (such as paradoxes, theorems of Löwenheim-Skolem, Gödel) and of attempted rescues. The nature of formal definitions and their role in the foundations of mathematics are considered in some detail. The goal of the paper is to explain how it is possible that set theory as a universal ontology of mathematics failed but the language of sets is successful in mathematical practice.
0 references
set theory
0 references
