On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions (Q2505640): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s10699-004-3065-z / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1994809800 / rank | |||
Normal rank | |||
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 | |||
links / mardi / name | links / mardi / name | ||
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