Scientific intuition of Genii against mytho-‘logic' of Cantor's transfinite ‘paradise'
Philosophia Scientiae, Aperçus philosophiques en logique et en mathématiques, Tome 9 (2005) no. 2, pp. 145-163.

In the paper, a detailed analysis of some new logical aspects of Cantor's diagonal proof of the uncountability of continuum is presented. For the first time, strict formal, axiomatic, and algorithmic definitions of the notions of potential and actual infinities are presented. It is shown that the actualization of infinite sets and sequences used in Cantor's proof is a necessary, but hidden, condition of the proof. The explication of the necessary condition and its factual usage within the framework of Cantor's proof makes Cantor's proof invalid. It's shown that traditional Cantor's proof has a second necessary, but hidden as well, condition which is teleological by its nature, i.e., is not mathematical. The explication of the second necessary condition makes Cantor's statement on the uncountability of continuum unprovable from the point of view of classical logic.

@article{PHSC_2005__9_2_145_0,
     author = {Zenkin, Alexander A.},
     title = {Scientific intuition of {Genii} against mytho-{\textquoteleft}logic' of {Cantor's} transfinite {\textquoteleft}paradise'},
     journal = {Philosophia Scientiae},
     pages = {145--163},
     publisher = {\'Editions Kim\'e},
     volume = {9},
     number = {2},
     year = {2005},
     language = {en},
     url = {http://www.numdam.org/item/PHSC_2005__9_2_145_0/}
}
TY  - JOUR
AU  - Zenkin, Alexander A.
TI  - Scientific intuition of Genii against mytho-‘logic' of Cantor's transfinite ‘paradise'
JO  - Philosophia Scientiae
PY  - 2005
SP  - 145
EP  - 163
VL  - 9
IS  - 2
PB  - Éditions Kimé
UR  - http://www.numdam.org/item/PHSC_2005__9_2_145_0/
LA  - en
ID  - PHSC_2005__9_2_145_0
ER  - 
%0 Journal Article
%A Zenkin, Alexander A.
%T Scientific intuition of Genii against mytho-‘logic' of Cantor's transfinite ‘paradise'
%J Philosophia Scientiae
%D 2005
%P 145-163
%V 9
%N 2
%I Éditions Kimé
%U http://www.numdam.org/item/PHSC_2005__9_2_145_0/
%G en
%F PHSC_2005__9_2_145_0
Zenkin, Alexander A. Scientific intuition of Genii against mytho-‘logic' of Cantor's transfinite ‘paradise'. Philosophia Scientiae, Aperçus philosophiques en logique et en mathématiques, Tome 9 (2005) no. 2, pp. 145-163. http://www.numdam.org/item/PHSC_2005__9_2_145_0/

[1] Alexandrov, P.S. 1948.- Introduction to Common Theory of sets and functions, Moscow-Leningrad: Gostehizdat. Physics, Book III.

[2] Arnold, V. I. 1999.- Anti-Scientific Revolution and Mathematics, Vestnik RAS, 1999, No. 6, 553-558. | MR

[3] Bourbaki, N. 1965.- Set Theory Moscow : “MIR”, 1965

[4] Cantor, Georg 1914.- Foundations Of Common Study About Manifolds, A.V.Vasil'jev ed. New ideas in Mathematics, 6, Sankt-Petersburg.

[5] Cantor, Georg 1985.- Proceedings in Set Theory, Moscow: NAUKA, 1985 | MR

[6] Capiński, M., and Kopp, E. 1999.- Measure, Integral and Probability, London: Springer, 1999. | MR | Zbl

[7] Feferman, S. 1998.- In the Light of Logic, Logic and Computation in Philosophy series, Oxford: Oxford University Press, 1998. | MR | Zbl

[8] Gowers, T. 2000.- What is so wrong with thinking of real numbers as infinite decimals? http://www.dpmms.cam.ac.uk/~wtg10/decimals.html

[9] Hodges, W. 1998.- An Editor Recalls Some Hopeless Papers, The Bulletin of Symbolic Logic, 4 (1), 1-17 1998. | MR | Zbl

[10] Katasonov, V.N. 1999.- The Struggled One Against Infinite. Philosopical and Religious Aspects of Cantor's Set Theory Genesis, Moscow: Martis, 1999.

[11] Kleene, S. 1957.- Introduction to metamathematics, Moscow: MIR, 1957.

[12] Moor, A.W. 1993.- The infinity. - The Problems of Philosophy. Their Past and Present, Ted Honderich ed., London - New-York: 1993.

[13] Peregrin, Ja. 1995.- “Structure and Meaning” at: http://www.cuni.cz/~peregrin/HTMLTxt/str&mea.htm

[14] Poincaré, H. 1983.- On Science, Moscow: Science, 1983. | MR

[15] Turchin, V. F. 1991.- “Infinity”, at: http://pespmc1.vub.ac.be/infinity.html

[16] Wittgenstein, L. 1956.- Remarks on the foundations of mathematics, Oxford: Blackwell, 1956. | MR

[17] Zenkin, A.A. 2004.- On Logic of “plausible” meta-mathematical misunderstandings, (All-Russian Conference “Scientific Session of MEPI-2004”.) Moscow Engineering & Physical Institute, Proceedings, 2004, 182-183.

[18] Zenkin, A.A. 2003.- A priori logical assertions with a zero ontology, in Mathematics and Experience, A. G. Barabashev, (ed.), Moscow: Moscow State University Publishing House, 2003, 423-434.

[19] Zenkin, A.A. 2002a.- As to strict definitions of potential and actual infinities, FOM-archive at: http://www.cs.nyu.edu/pipermail/fom/2002-December/006072.html

[20] Zenkin, A.A. 2002b.- Gödel's numbering of multi-modal texts, The Bulletin of Symbolic Logic, 8, (1), 180, 2002.

[21] Zenkin, A.A. 2001.- Infinitum Actu Non Datur, Voprosy Filosofii (Problems of Philosophy), 9, 2001, 157-169.

[22] Zenkin, A.A. 2000a.- Scientific Counter-Revolution in Mathematics, Moscow: NG-SCIENCE, Supplement to the Independent Newspaper: Nezavisimaya Gazeta, 19 July 2000, 13.

[23] Zenkin, A.A. 2000b.- Georg Cantor's Mistake, Voprosy Filosofii (Problems of Philosophy), 2, 2000, 165-168. See also: http://www.ccas.ru/alexzen/papers/The_Cantor_Paradise.htm, http://www.hist-analytic.org and a discussion about Cantor's Diagonal Proof at: http://www.philosophy.ru/library/math/cantor.htm (in Russian).

[24] Zenkin, A.A. 1999.- Cognitive (Semantic) Visualization of The Continuum Problem and Mirror Symmetric Proofs in the Transfinite Numbers Theory, Visual Mathematics, 1 (2). http://members.tripod.com/vismath1/zen/index.html. | MR | Zbl

[25] Zenkin, A.A. 1997a.- Cognitive Visualization of the Continuum Problem and of the Hyper-Real Numbers Theory, Intern. Conference “Analyse et Logique”, UMH, Mons, Belgia, 1997. Abstracts, 93-94.

[26] Zenkin, A.A. 1997b.- “Cognitive Visualization of Some Transfinite Objects of Cantor Set Theory”, in Infinity in Mathematics: Philosophical and Historical Aspects, A. G. Barabashev, ed., Moscow: Janus-K, 1997, 77-91, 92-96, 184-189, 221-224.