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@googlegroups.com To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/everything-list?hl=en -~----------~----~----~----~------~----~------~--~---