Re:Calculus Is Deeply Irrational
by drdeca on Tuesday August 20, 2019 @11:00PM
(#20754242)
For any system we could use to define a real number, (and not just because we are mortal), the system could only define or uniquely specify countably many real numbers. Any countable set of real numbers has measure 0, and therefore, almost all real numbers cannot be defined/specified using that system.
This holds for whatever system you use which defines a (possibly partial) function from [ the set of finite (but unboundedly long) sequences of characters over a finite alphabet], to real numbers
Or equivalently, from the natural numbers to the real numbers.
This holds for whatever system you use which defines a (possibly partial) function from [ the set of finite (but unboundedly long) sequences of characters over a finite alphabet], to real numbers
Or equivalently, from the natural numbers to the real numbers.