(April 9, 2019 at 9:28 pm)Sal Wrote: 0.999... = 1
How do finitests define that? 0.999... = 1 because, as I understand it, that there is no real number that you can insert between 0.999... and 1 which means they're the same number. There are simple proofs for that and rigorous ones.
Well, finitists have difficulty defining the real numbers. At most they can define the computable reals. Decimal expansions are also problematic.