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

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 
For more options, visit this group at 

Reply via email to