(April 10, 2019 at 8:42 am)polymath257 Wrote:(April 9, 2019 at 9:46 pm)Jehanne Wrote: I wonder how finitists would view Turning Machines? Or, for that matter, the Continuum Hypothesis?
Turing machines are finitistic devices and are an integral part of finitistic math.
Finitists tend to view the CH as nonsense.
They have tapes of infinite length, though, at least abstractly:
Wikipedia -- Turning machine
Do finitists reject Cantor's diagonalization proofs, namely, that Aleph-naught is the smallest infinite set, followed by Aleph-one, etc.?
(Sorry to be asking you this, but I don't know of any finitists whom I can ask!)