Re: Can mind be a computation if physics is fundamental?

From: Bruno Marchal <marchal.domain.name.hidden>
Date: Fri, 14 Aug 2009 11:21:00 +0200

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 - 11:21:00 PDT

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:16 PST