Hacker News new | ask | show | jobs
by logicchains 2257 days ago
1/3 is a rational number, so intuitionism is fine with it. It's also fine with "computable reals": real numbers that have an algorithm for computing them (that algorithm can be represented with a finite amount of information). What cannot be constructed in intuitionism is a "non-computable real": a real number for which there is no algorithm to compute it. The vast majority of classical real numbers are non-computable.

Another way to look at it: if we have a limiting process that approaches some number X, classically we could use the law of the excluded middle to prove that it must eventually reach X, hence X "exists". Under intuitionism however we cannot say that X "exists" or construct X, all we can do is construct the process that approaches X and say this process exists.