Re: Irrational numbers questions

In article <6d651$45ac8638$82a1e228$12035@xxxxxxxxxxxxxxxx> Han de Bruijn <Han.deBruijn@xxxxxxxxxxxxxx> writes:
*** T. Winter wrote:

[ ... ] It is when the double
negation comes in that the constructivist holds away. So for a
constructivist a non-nonfoo is not necessarily a foo.

So a not an irrational number is not necessarily a rational number?

Not yet. It is only about logical reasoning. So:
P implies not not P
but
not not P does not imply P.

When you want to talk about constructivist mathematics, look up what they
actually do.
--
*** t. winter, cwi, kruislaan 413, 1098 sj amsterdam, nederland, +31205924131
home: bovenover 215, 1025 jn amsterdam, nederland; http://www.cwi.nl/~***/
.