Re: All infinities are countable in ordinary mathematics

On 05/05/2025 06:41, Ross Finlayson wrote:

The idea though is that n/d makes standard infinitesimals
even as if only in the, unbounded, the Archimedean.

...and war is peace, and freedom is getting a job...

Then, if the un-countable, is not a constructivist result,
is a point of contention, as that its proofs employ contradiction,
and some constructivists have that's at odds with constructivism.

You are full of shit.  1) Diagonal arguments can be proved
constructively: ex falso quodlibet is not the same as
reductio ad absurdum: unless one deems ordinary induction
extra-ordinary, but that would be plain stupid.  OTOH,
2) the connection from binary sequences or subsets of the
natural numbers to real numbers is not immediate and not
granted, and not any more granted is uncountability.
Speaking of which, what do you even think this thread is
about??  THERE IS NO SUCH THING AS THE EXTRA-ORDINARY,
in ordinary and/or concrete (foundational!) mathematics:
so in any mathematics!  That's eventually my thesis.
Now try and give me a counter-example... that does not
rely on the real numbers being uncountable.
Julio