WM
unread,Nov 27, 2021, 5:18:48 AM11/27/21You do not have permission to delete messages in this group
Sign in to report message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to
I think that it is worthwhile to argue with the Cantorians. The arguments presented by the non-Cantorians do not have to influence all of Cantorians: it is enough to influence just a few, even one or two. [B. Hale in "Cantor's perpetual fallacy", sci.math (28 Nov 1999)]
Fraenkel was not sure about the correctness of the proof of the Löwenheim-Skolem theorem, and he seems to have had difficulties in analysing the role of logic with sufficient rigour to understand Skolem's paradox {{while}} von Neumann instantly recognized the importance of the results, but he reacted with scepticism about the possibility of overcoming the weakness of axiomatizations they reveal. [H.-D. Ebbinghaus: "Ernst Zermelo: An approach to his life and work", Springer (2007) p. 200]
The adaptation of strong axioms of infinity is thus a theological venture, involving basic questions of belief concerning what is true about the universe. [A. Kanamori, M. Magidor: "The evolution of large cardinal axioms in set theory" in G.H. Müller und D.S. Scott (eds.): "Higher set theory", Springer, Berlin (1978) p. 104]
The clear understanding of formalism in mathematics has led to a rather fixed dogmatic position which reads: Mathematics is what can be done within axiomatic set theory using classical predicate logic. I call this doctrine the Grand Set Theoretic Foundation. [...] It is my contention that this Grand Set Theoretic Foundation is a mistakenly one-sided view of mathematics and also that its precursor doctrine (Dedekind cuts) was also one-sided. [...] Second, set theory is largely irrelevant to the practice of most mathematics. Most professional mathematicians never have occasion to use the Zermelo-Fraenkel axioms, while others do not even know them. [S. Mac Lane: "Mathematical models: A sketch for the philosophy of mathematics", The American Mathematical Monthly, Vol. 88,7 (1981) p. 467f]
A system of finite mathematics is proposed that has all of the power of classical mathematics. [S. Lavine: "Finite mathematics", Synthese 103,3 (1995) p. 389]
Regards, WM