On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions (Q2505640): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Q3754620 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The continuum hypothesis in intuitionism / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Markov's principle, Church's thesis and Lindelöf's theorem / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3764104 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Continuous selections. I / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Some elementary results in intuitionistic model theory / rank | |||
Normal rank | |||
Latest revision as of 20:53, 24 June 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions |
scientific article |
Statements
On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions (English)
0 references
28 September 2006
0 references
This paper contains a wide-ranging discussion of the foundations of constructive mathematics, and its relationship with classical mathematics as well as the foundations of physics. Of particular interest is the author's analysis of the constructive notion of continuity.
0 references
constructive mathematics
0 references
intuitionism
0 references
topology
0 references
continuity
0 references
