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....domain.name.hidden> 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.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 - 04:47:09 PDT