> [...] but there are many things expressible in reals not possible in integers

Are you sure there is anything we can express in the Reals that isn't an integer in disguise?

The first answer might be the sqrt(2) or pi, but we can write a finite program to spit out digits of those forever (assuming a Turing machine with integer positions on a countably infinite length tape). The binary encoding of the program represents the number, and it only needs to be finite, not even an integer at infinity.

Then you might say Chaitin's constant, but that's just a name for one value we don't know and can't figure out. You can approximate it to some number of digits, but that doesn't seem good enough to express it. You can prove a program can't emit all the digits indefinitely. And even if you could, is giving one Real number a name enough? Names are countable, and again arguably finite.

It seems to me we can prove there are more Reals than there are Integer or Computable numbers, but we can't "express" more than a finite number of those which aren't computable. Integers in disguise.

▲

tshaddox 4 days ago | parent [-]

It seems like you're suggesting that mathematicians replace the reals with the computables. This is a reasonable thing to try, and is likely of particular interest to constructivists. There's even this whole field:

https://en.wikipedia.org/wiki/Computable_analysis

	▲	xscott 4 days ago \| parent [-]
		> It seems like you're suggesting that mathematicians replace the reals with the computables. No, not any more. :-) I liked the idea a year or two ago, but I've come to believe that even the Integers are too bizarre to worry about. For now, I'm content just playing with fixed and floating point, maybe with arbitrary precision. Stuff I can reason about. I just think people are a little too casual thinking they are really using the Reals. It might be like Feynman's quote about saying you understand QM.