RUS  ENG
Full version
JOURNALS // Zapiski Nauchnykh Seminarov POMI // Archive

Zap. Nauchn. Sem. POMI, 1995 Volume 220, Pages 5–22 (Mi znsl4277)

This article is cited in 2 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.

UDC: 510.25+510.21

Received: 04.03.1995


 English version:
Journal of Mathematical Sciences (New York), 1997, 87:1, 3183–3191

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025