Georg Cantor as the author of constructions playing fundamental roles in constructive mathematics (Q1807457)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Georg Cantor as the author of constructions playing fundamental roles in constructive mathematics |
scientific article |
Statements
Georg Cantor as the author of constructions playing fundamental roles in constructive mathematics (English)
0 references
22 November 1999
0 references
constructive definition of the notion of real number
0 references
constructive mathematics
0 references
system of notation for order-types
0 references
Cantor's diagonal construction
0 references
0 references
