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://archive.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://archive.numdam.org/item/PHSC_2005__9_2_145_0/ LA - en ID - PHSC_2005__9_2_145_0 ER -
Zenkin, Alexander A. Scientific intuition of Genii against mytho-‘logic' of Cantor's transfinite ‘paradise'. Philosophia Scientiae, Volume 9 (2005) no. 2, pp. 145-163. http://archive.numdam.org/item/PHSC_2005__9_2_145_0/
[1] Introduction to Common Theory of sets and functions, Moscow-Leningrad: Gostehizdat. Physics, Book III.
1948.-[2] Anti-Scientific Revolution and Mathematics, Vestnik RAS, 1999, No. 6, 553-558. | MR
1999.-[3] Set Theory Moscow : “MIR”, 1965
1965.-[4] Foundations Of Common Study About Manifolds, A.V.Vasil'jev ed. New ideas in Mathematics, 6, Sankt-Petersburg.
1914.-[5] Proceedings in Set Theory, Moscow: NAUKA, 1985 | MR
1985.-[6] Measure, Integral and Probability, London: Springer, 1999. | MR | Zbl
, and 1999.-[7] In the Light of Logic, Logic and Computation in Philosophy series, Oxford: Oxford University Press, 1998. | MR | Zbl
1998.-[8] What is so wrong with thinking of real numbers as infinite decimals? http://www.dpmms.cam.ac.uk/~wtg10/decimals.html
2000.-[9] An Editor Recalls Some Hopeless Papers, The Bulletin of Symbolic Logic, 4 (1), 1-17 1998. | MR | Zbl
1998.-[10] The Struggled One Against Infinite. Philosopical and Religious Aspects of Cantor's Set Theory Genesis, Moscow: Martis, 1999.
1999.-[11] Introduction to metamathematics, Moscow: MIR, 1957.
1957.-[12] The infinity. - The Problems of Philosophy. Their Past and Present, Ted Honderich ed., London - New-York: 1993.
1993.-[13] “Structure and Meaning” at: http://www.cuni.cz/~peregrin/HTMLTxt/str&mea.htm
1995.-[14] On Science, Moscow: Science, 1983. | MR
1983.-[15] “Infinity”, at: http://pespmc1.vub.ac.be/infinity.html
1991.-[16] Remarks on the foundations of mathematics, Oxford: Blackwell, 1956. | MR
1956.-[17] On Logic of “plausible” meta-mathematical misunderstandings, (All-Russian Conference “Scientific Session of MEPI-2004”.) Moscow Engineering & Physical Institute, Proceedings, 2004, 182-183.
2004.-[18] 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.
2003.-[19] As to strict definitions of potential and actual infinities, FOM-archive at: http://www.cs.nyu.edu/pipermail/fom/2002-December/006072.html
2002a.-[20] Gödel's numbering of multi-modal texts, The Bulletin of Symbolic Logic, 8, (1), 180, 2002.
2002b.-[21] Infinitum Actu Non Datur, Voprosy Filosofii (Problems of Philosophy), 9, 2001, 157-169.
2001.-[22] Scientific Counter-Revolution in Mathematics, Moscow: NG-SCIENCE, Supplement to the Independent Newspaper: Nezavisimaya Gazeta, 19 July 2000, 13.
2000a.-[23] 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).
2000b.-[24] 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
1999.-[25] 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.
1997a.-[26] “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.
1997b.-