On 14 Aug 2009, at 04:11, Brent Meeker wrote:
>
> Colin Hales wrote:
>> Here's a nice pic to use in discussion.... from GEB. The map for a
>> formal system (a tree). A formal system could not draw this picture.
>
> Where's your proof of this assertion?
Indeed. A case could be make that only a formal system can draw such
picture. See the preceding post.
If you understand what is really a universal machine, you can
uderstand that it is very difficult to show things that they cannot
do. It is really theoretical computer science which explore this.
Bruno
http://iridia.ulb.ac.be/~marchal/
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list+unsubscribe.domain.name.hidden
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Fri Aug 14 2009 - 11:21:00 PDT