On 24 Sep 2012, at 16:39, Stephen P. King wrote:
On 9/24/2012 9:34 AM, Roger Clough wrote:
The computer can mechanically prove something,
but it cannot know that it did so. It cannot
sit back with a beer and muse over how smart it is.
What you are considering that a computer does not have is the
ability to model itself within its environment and compute
optimizations of such a model to guide its future choices. This can
be well represented within a computational framework and it is
something that Bruno has worked out in his comp model. (My only beef
with Bruno is that his model is so abstract that it is completely
disconnected from the physical world and thus has a "body" problem.)
But that is the "scientific success" of the comp theory (not
"model") : it reduces the mind body problem to a body problem, in a
precise realm, with a technic to extract the "laws of bodies", making
comp an utterly scientific, in Popper sense, theory. You still miss
the point. The body problem is not a defect, it is the main success of
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to email@example.com.
To unsubscribe from this group, send email to
For more options, visit this group at