# Scientific intuition of Genii against mytho-‘logic’ of Cantor’s transfinite ‘paradise’

Philosophia Scientiae (2005)

- Volume: 9, Issue: 2, page 145-163
- ISSN: 1281-2463

## Access Full Article

top## Abstract

top## How to cite

topZenkin, Alexander A.. "Scientific intuition of Genii against mytho-‘logic’ of Cantor’s transfinite ‘paradise’." Philosophia Scientiae 9.2 (2005): 145-163. <http://eudml.org/doc/103747>.

@article{Zenkin2005,

abstract = {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.},

author = {Zenkin, Alexander A.},

journal = {Philosophia Scientiae},

language = {eng},

number = {2},

pages = {145-163},

publisher = {Éditions Kimé},

title = {Scientific intuition of Genii against mytho-‘logic’ of Cantor’s transfinite ‘paradise’},

url = {http://eudml.org/doc/103747},

volume = {9},

year = {2005},

}

TY - JOUR

AU - Zenkin, Alexander A.

TI - Scientific intuition of Genii against mytho-‘logic’ of Cantor’s transfinite ‘paradise’

JO - Philosophia Scientiae

PY - 2005

PB - Éditions Kimé

VL - 9

IS - 2

SP - 145

EP - 163

AB - 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.

LA - eng

UR - http://eudml.org/doc/103747

ER -

## References

top- [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. MR1747476
- [3] Bourbaki, N.1965.— Set Theory Moscow : “MIR”, 1965
- [4] Cantor, Georg1914.— Foundations Of Common Study About Manifolds, A.V.Vasil’jev ed. New ideas in Mathematics, 6, Sankt-Petersburg.
- [5] Cantor, Georg1985.— Proceedings in Set Theory, Moscow: NAUKA, 1985 MR824984
- [6] Capiński, M., and Kopp, E.1999.— Measure, Integral and Probability, London: Springer, 1999. MR1656672
- [7] Feferman, S.1998.— In the Light of Logic, Logic and Computation in Philosophy series, Oxford: Oxford University Press, 1998. Zbl0918.01044MR1661162
- [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. Zbl0979.03002MR1609195
- [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. Zbl0047.00703
- [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. MR745803
- [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. Zbl0075.00401MR85179
- [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. Zbl1044.03531MR1729760
- [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.

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.