Geodesic
Georg Сantor as the author of constructions playing fundamental roles in constructive mathematics
Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part IX, Tome 220 (1995), pp. 5-22

Voir la notice de l'article provenant de la source Math-Net.Ru

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. 
@article{ZNSL_1995_220_a0,
     author = {N. A. Shanin},
     title = {Georg {{\CYRS}antor} as the author of constructions playing fundamental roles in constructive mathematics},
     journal = {Zapiski Nauchnykh Seminarov POMI},
     pages = {5--22},
     publisher = {mathdoc},
     volume = {220},
     year = {1995},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ZNSL_1995_220_a0/}
}
TY  - JOUR
AU  - N. A. Shanin
TI  - Georg Сantor as the author of constructions playing fundamental roles in constructive mathematics
JO  - Zapiski Nauchnykh Seminarov POMI
PY  - 1995
SP  - 5
EP  - 22
VL  - 220
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZNSL_1995_220_a0/
LA  - ru
ID  - ZNSL_1995_220_a0
ER  - 
%0 Journal Article
%A N. A. Shanin
%T Georg Сantor as the author of constructions playing fundamental roles in constructive mathematics
%J Zapiski Nauchnykh Seminarov POMI
%D 1995
%P 5-22
%V 220
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZNSL_1995_220_a0/
%G ru
%F ZNSL_1995_220_a0
N. A. Shanin. Georg Сantor as the author of constructions playing fundamental roles in constructive mathematics. Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part IX, Tome 220 (1995), pp. 5-22. http://geodesic.mathdoc.fr/item/ZNSL_1995_220_a0/