On the history of discussions about intuitionist logic (Q2713265)
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: On the history of discussions about intuitionist logic |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the history of discussions about intuitionist logic |
scientific article |
Statements
21 June 2001
0 references
history of logic
0 references
A. N. Kolmogoroff
0 references
M. Barzin
0 references
A. Errera
0 references
A. I. Khinchin
0 references
V. I. Glivenko
0 references
On the history of discussions about intuitionist logic (English)
0 references
The author presents the contributions to intuitionistic logic of Russian mathematicians in the first half of 20th century. There are discussed results of A. N. Kolmogoroff (1925), M. Barzin and A. Errera (1927), A. I. Khinchin (1928) and V. I. Glivenko (1928, 1929).
0 references