|
Zapiski Nauchnykh Seminarov POMI, 1995, Volume 220, Pages 5–22
(Mi znsl4277)
|
|
|
|
This article is cited in 2 scientific papers (total in 3 papers)
Georg Сantor as the author of constructions playing fundamental roles in constructive mathematics
N. A. Shanin St. Petersburg Department of V. A. Steklov Institute of Mathematics, Russian Academy of Sciences
Abstract:
An extended version of the author's talk at the meeting of the St. Petersburg Mathematical Society (March 3, 1995), dedicated to the 150th anniversary of G. Cantor's birth, is presented. The following inventions of Cantor and their roles in constructive mathematics are discussed: the system of notation for order-types less than $\varepsilon_0$, a constructive (in essence) definition of the notion of real number, and Cantor's “diagonal” construction. Bibliography: 22 titles.
Received: 04.03.1995
Citation:
N. A. Shanin, “Georg Сantor as the author of constructions playing fundamental roles in constructive mathematics”, Studies in constructive mathematics and mathematical logic. Part IX, Zap. Nauchn. Sem. POMI, 220, POMI, St. Petersburg, 1995, 5–22; J. Math. Sci. (New York), 87:1 (1997), 3183–3191
Linking options:
https://www.mathnet.ru/eng/znsl4277 https://www.mathnet.ru/eng/znsl/v220/p5
|
Statistics & downloads: |
Abstract page: | 287 | Full-text PDF : | 198 |
|