On Sat, Mar 1, 2008 at 12:44 AM, Ben Goertzel <[EMAIL PROTECTED]> wrote: > > For instance, one can prove that even if x is an uncomputable real number > > x - x = 0 > > But that doesn't mean one has to be able to hold *any* uncomputable number x > in one's brain... >
This is a general theorem about *strings* in this formal system, but no such string with uncomputable real number can ever be written, so saying that it's a theorem about uncomputable real numbers is an empty set theory (it's a true statement, but it's true in a trivial "falsehood, therefore Mars is inhabited by little green men" kind of formal sense). -- Vladimir Nesov [EMAIL PROTECTED] ------------------------------------------- agi Archives: http://www.listbox.com/member/archive/303/=now RSS Feed: http://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: http://www.listbox.com/member/?member_id=8660244&id_secret=95818715-a78a9b Powered by Listbox: http://www.listbox.com