Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math.independent

Topic: More Cantor
Replies: 41   Last Post: Aug 11, 1999 1:57 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Jon Haugsand

Posts: 26
Registered: 12/12/04
Re: More Cantor
Posted: Aug 11, 1999 4:24 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply



* Jon Haugsand
> However, the number rho = pi-pi_hat is not constructible. What is
> its first decimal? And is it greater than, equal to, or less than
> zero?


Aren't you now making a fool of yourself? If you are correct you
declare subtraction as a "non-constructable" operator. Isn't it so
that rho is indeed a constructable number, but the statement

rho<0 or rho=0 or rho>0

is not (yet) provable?

(How _do_ constructivists define subtraction/addition and so on?)

--
Jon Haugsand
Norwegian Computing Center,
<mailto://haugsand@nr.no> Pho: +47 22852608 / +47 22852500,
Fax: +47 22697660, Pb 114 Blindern, N-0314 OSLO, Norway







Date Subject Author
7/29/99
Read Re: More Cantor
John Savard
7/29/99
Read Re: More Cantor
Virgil Hancher
7/29/99
Read Re: More Cantor
dav2222@my-deja.com
8/10/99
Read Re: More Cantor
bobg0@my-deja.com
8/10/99
Read Re: More Cantor
Arturo Magidin
8/10/99
Read Re: More Cantor
DBatchelo1
8/10/99
Read Re: More Cantor
hale@mailhost.tcs.tulane.edu
8/11/99
Read Re: More Cantor
DBatchelo1
8/11/99
Read Re: More Cantor
Ravi Bhide
8/11/99
Read Re: More Cantor
David Petry
7/29/99
Read Re: More Cantor
Chris Jacobs
8/8/99
Read Re: More Cantor
Jon Haugsand
8/8/99
Read Re: More Cantor
Pertti Lounesto
8/8/99
Read Re: More Cantor
Jon Haugsand
8/8/99
Read Re: More Cantor
David Petry
8/9/99
Read Re: More Cantor
Pertti Lounesto
8/9/99
Read Re: More Cantor
Jon Haugsand
8/11/99
Read Re: More Cantor
Jon Haugsand
7/29/99
Read Re: More Cantor
kbellul@undergrad.math.uwaterloo.ca
7/29/99
Read Re: More Cantor
Axel Harvey
7/29/99
Read Re: More Cantor
Ulrich Weigand
7/29/99
Read Re: More Cantor
Ken Cox
7/29/99
Read Re: More Cantor
Virgil Hancher
7/29/99
Read Re: More Cantor
Zdislav V. Kovarik
7/30/99
Read Re: More Cantor
kbellul@undergrad.math.uwaterloo.ca
7/30/99
Read Re: More Cantor
Dave Seaman
7/29/99
Read Re: More Cantor
Gus Gassmann
7/30/99
Read Re: More Cantor
kbellul@undergrad.math.uwaterloo.ca
7/30/99
Read Re: More Cantor
Dave Seaman
7/30/99
Read Re: More Cantor
kbellul@undergrad.math.uwaterloo.ca
7/29/99
Read Re: More Cantor
Jeremy Boden
7/29/99
Read Re: More Cantor
Ken Cox
7/29/99
Read Re: More Cantor
dav2222@my-deja.com
7/30/99
Read Re: More Cantor
Kyle R. Hofmann
7/31/99
Read Re: More Cantor
dav2222@my-deja.com
7/31/99
Read Re: More Cantor
Kyle R. Hofmann
7/31/99
Read Re: More Cantor
Virgil Hancher
8/1/99
Read Re: More Cantor
standebj@SLU.EDU
8/3/99
Read Re: More Cantor
Felix Liu
7/31/99
Read Re: More Cantor
maky m.
8/8/99
Read Re: More Cantor
Jeremy Boden

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.