I think I have at least two problems, not necessarily well formulated. I accept that there are concepts(mathematical) that are not necessrily part of the physical Universe(Multiverse). I do not see that there are only the abstractions. Also, Bruno mentions QM, as being included in COMP. QM is an incomplete description of this universe with being "merged" with GR. I do not see that that "final" theory would necessarily fit in with COMP. Ronald

On Aug 14, 5:21 am, Bruno Marchal <marc...@ulb.ac.be> wrote: > 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 -~----------~----~----~----~------~----~------~--~---