Intuitionistic/Constructive Accounts of the Continuum Today (Q5149709)
From MaRDI portal
scientific article; zbMATH DE number 7309831
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Intuitionistic/Constructive Accounts of the Continuum Today |
scientific article; zbMATH DE number 7309831 |
Statements
Intuitionistic/Constructive Accounts of the Continuum Today (English)
0 references
12 February 2021
0 references
intuitionism
0 references
constructive mathematics
0 references
smooth infinitesimal analysis
0 references
microquantity
0 references
constructive reals
0 references
Brouwer
0 references
