Set theory -- from Cantor's heaven to the first theory among equals (Q1279498): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 02:47, 5 March 2024
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