On 16 Oct 2012, at 16:03, Stephen P. King wrote:
On 10/16/2012 9:57 AM, Bruno Marchal wrote:
On 15 Oct 2012, at 16:14, Roger Clough wrote:
Hi Craig Weinberg
After looking at how computers make choices--
whether they are free or whatever-- I now see
that my previous position that computers have
no intelligence was not exactly right, because
they do have intelligence, but it is different
from ours. It is not free exactly but free to
act as long as it obeys reason.
Even ideal machines driven by reason have to face their
irrationality when looking inward.
I think this sentence of yours is in a deep sense wrong. We or
ideal machines can never see or discover with only self-inspection
or self-interviewing their own inconsistency!
That is weird. If we are inconsistent, we can discover it. All what is
needed is a proof of "0=1" from our beliefs. And that proof will
exist, if we are truly inconsistent, and can be found as it is a
That happens often, and is a basis of the learning process.
It would be an automatic solution of the solipsism problem (and your
arithmetic body problem!) if true!
We can only see our inconsistencies from reports of "other minds".
If we are consistent, we cannot prove that we are consistent.
But if we are inconsistent, we can prove that we are inconsistent (we
can even prove that we are also consistent, as we can prove A and ~A
for all statements A).
Other minds can help but are not necessary. A pilot can crash his
plane even if alone in the plane.
The relation between G and G* in comp seems to indicate this idea...
(unless I completely misunderstand it.)
You confuse apparently p -> q, with ~p -> ~q. Or you believe that
consistent and inconsistent have symmetrical roles, which they don't.
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to firstname.lastname@example.org.
To unsubscribe from this group, send email to
For more options, visit this group at