On 14 Aug 2011, at 16:21, Craig Weinberg wrote:

On Aug 14, 8:55 am, Bruno Marchal <marc...@ulb.ac.be> wrote:

The theory exists. Computer science and mathematical logic can be used
to formulate precisely the hard problem. And to solve it including a
'meta-solution' of the hard part of it.

How does logic become feeling?

Logic cannot. You need logic + a universal machine. For example logic + addition and multiplication of integers.

feeling comes from the true but incommunicable propositions that numbers or machine get by looking at themselves (in the standrd way discovered by Gödel for formal theories).

I can see something that feels being
able to associate numbers with feeling, but I can't realistically
imagine something like a mousetrap being able to feel just by using

Why not (with logic + numbers). It means that you put in the mousetrap something non Turing emulable. Nobody has even found a process in nature which is not either Turing emulable, or due to self- multiplication.

So your assumption just seem gratuitous.

How does complex math become simple sense, and why should it
have to?

To smell coffee is simple, yet you need quite a number of very complex molecular and cellular happenings to live it.

I think few people realize the impact of the discovery of the
universal machine (or if you prefer the discovery of the Post Church
Kleene Turing Markov thesis).

Can you summarize what that impact is?

The birth of computers and computers science. The computer, the internet, Hubble, the iphone, up to the discovery that Aristotelian theology got a rational Platonist competitor.

It is the first discovery of a concrete effective universal notion, and the discovery of its unavoidable limitations. And the discovery that it can be aware of that limitation and transcend it in a non predictable way. almost the discovery of a truly new unknown, which might forces us to learn a bit of modesty.



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