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.



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@googlegroups.com
To unsubscribe from this group, send email to 
For more options, visit this group at 

Reply via email to