(July 4, 2019 at 3:42 am)A Toy Windmill Wrote:(July 3, 2019 at 10:06 pm)Jehanne Wrote: My point is that Cantor, using a finite number of symbols, proved that some infinite sets (the Reals) are infinite and uncountable:Where is the proof that some sets are infinite in the first place? Cantor didn't prove the existence of such things Their existence is only granted axiomatically in set theory.
Wikipedia -- Cantor's diagonal argument
The rational numbers are, however, countable:
Wikipedia -- Countable set
And, so, what's the issue here? Is finitism any different than Creationism?
A finitist can accept Cantor's diagonal argument as a scheme to transform a finitistic function --- which the classical mathematician calls an enumeration of the reals --- into another function --- which the classical mathematician thinks gives a real not in the enumeration.
Do finistists accept the existence of irrational numbers? Just curious. I know that you may be playing the DA here.