An intuitionist reasoning upon formal intuitionist logic: logical analysis of Kolmogorov's 1932 paper (Q2070432)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: An intuitionist reasoning upon formal intuitionist logic: logical analysis of Kolmogorov's 1932 paper |
scientific article; zbMATH DE number 7462131
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An intuitionist reasoning upon formal intuitionist logic: logical analysis of Kolmogorov's 1932 paper |
scientific article; zbMATH DE number 7462131 |
Statements
An intuitionist reasoning upon formal intuitionist logic: logical analysis of Kolmogorov's 1932 paper (English)
0 references
24 January 2022
0 references
The author distinguishes two pairs of dychotomies in scientific theories: potential vs. actual infinity and axiomatic vs. problem-based theories. It is claimed that the original intuitionist program relied on potential infinity and problem-based theories. It is shown that \textit{A. Kolmogoroff}'s paper [Math. Z. 35, 58--65 (1932; Zbl 0004.00201)] relied on the same choice.
0 references
two dichotomies
0 references
choices of intuitionist logic
0 references
choices of Kolmogorov's 1932 paper
0 references
structural foundation of intuitionist logic
0 references
intuitionist reasoning
0 references
0 references
0.8720536
0 references
0 references
0.85838604
0 references
0.84739035
0 references
