Re: does sqrt(2) exist in CM?
From: Joe Kearney (joek350_at_gmail.com)
Date: 02/09/05
- Next message: Joe Kearney: "Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi?"
- Previous message: Joe Kearney: "Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?"
- In reply to: Daniel W. Johnson: "Re: does sqrt(2) exist in CM?"
- Next in thread: tchow_at_lsa.umich.edu: "Re: does sqrt(2) exist in CM?"
- Reply: tchow_at_lsa.umich.edu: "Re: does sqrt(2) exist in CM?"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: 8 Feb 2005 15:48:58 -0800
Daniel W. Johnson wrote:
> The un-representable real numbers are a proper subset of the
> uncomputable real numbers.
does this imply that there exist uncomputable numbers we can represent,
or have i still missed the point of uncomputability? can you exhibit an
uncomputable number?
joe
- Next message: Joe Kearney: "Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi?"
- Previous message: Joe Kearney: "Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?"
- In reply to: Daniel W. Johnson: "Re: does sqrt(2) exist in CM?"
- Next in thread: tchow_at_lsa.umich.edu: "Re: does sqrt(2) exist in CM?"
- Reply: tchow_at_lsa.umich.edu: "Re: does sqrt(2) exist in CM?"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|
