does sqrt(2) exist in CM?

From: alex goldman (hello_at_spamm.er)
Date: 02/05/05 

Date: Sat, 05 Feb 2005 08:03:01 -0800

Does Sqrt(2) exist in Constructive Mathematics? Proofs have to be finite
AIUI, so unless we artificially augment the postulated objects, irrational
numbers do not exist in CM.

Relevant Pages

  • does sqrt(2) exist in CM?
    ... Does Sqrtexist in Constructive Mathematics? ... AIUI, so unless we artificially augment the postulated objects, irrational ...
    (sci.logic)
  • does sqrt(2) exist in CM?
    ... Does Sqrtexist in Constructive Mathematics? ... AIUI, so unless we artificially augment the postulated objects, irrational ...
    (sci.math)
  • Re: does sqrt(2) exist in CM?
    ... >> AIUI, so unless we artificially augment the postulated objects, ... > The algorithm is a finite construct.. ...
    (comp.theory)
  • Re: does sqrt(2) exist in CM?
    ... >> AIUI, so unless we artificially augment the postulated objects, ... > The algorithm is a finite construct.. ...
    (sci.math)
  • Re: does sqrt(2) exist in CM?
    ... >> AIUI, so unless we artificially augment the postulated objects, ... > The algorithm is a finite construct.. ...
    (sci.logic)