does sqrt(2) exist in CM?
From: alex goldman (hello_at_spamm.er)
Date: 02/05/05
- Next message: Jim Burns: "Re: coin puzzle"
- Previous message: john_ramsden_at_sagitta-ps.com: "When do two quadratic form reps of an integer prove it is composite?"
- Next in thread: David C. Ullrich: "Re: does sqrt(2) exist in CM?"
- Reply: David C. Ullrich: "Re: does sqrt(2) exist in CM?"
- Reply: A N Niel: "Re: does sqrt(2) exist in CM?"
- Reply: Alan Smaill: "Re: does sqrt(2) exist in CM?"
- Reply: Larry Hammick: "Re: does sqrt(2) exist in CM?"
- Reply: robert j. kolker: "Re: does sqrt(2) exist in CM?"
- Maybe reply: r.e.s.: "Re: does sqrt(2) exist in CM?"
- Messages sorted by: [ date ] [ thread ]
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.
- Next message: Jim Burns: "Re: coin puzzle"
- Previous message: john_ramsden_at_sagitta-ps.com: "When do two quadratic form reps of an integer prove it is composite?"
- Next in thread: David C. Ullrich: "Re: does sqrt(2) exist in CM?"
- Reply: David C. Ullrich: "Re: does sqrt(2) exist in CM?"
- Reply: A N Niel: "Re: does sqrt(2) exist in CM?"
- Reply: Alan Smaill: "Re: does sqrt(2) exist in CM?"
- Reply: Larry Hammick: "Re: does sqrt(2) exist in CM?"
- Reply: robert j. kolker: "Re: does sqrt(2) exist in CM?"
- Maybe reply: r.e.s.: "Re: does sqrt(2) exist in CM?"
- Messages sorted by: [ date ] [ thread ]
Relevant Pages
|
