Re: Incompleteness vs. Mechanical Reasoning

Marshall wrote:
A few times lately I've had the experience of mentioning
something about mechanical reasoning and then having
someone mention incompleteness as if that had anything
to do with what I was saying. In fact the attitude seems
to be akin to that woman in the penguin-on-the-telly sketch
who says "there; I've run rings around you logically."

It's puzzled me a good deal.

A thought just occurred to me: could this possibly be
the result of people thinking that incompleteness is
something that affects mechanical systems but not
our brain?

As a product of our mind, incompleteness would *only* "affect"
our mind and nothing else. Certainly not mechanical/electrical
computer, that only computes or is!

Is the idea floating around that the human
mind is somehow capable of doing things not only
that no *current* computer can do, but also that no
possible future computer could ever do? Is that
what's going on here?

Sure. Why not? Only human mind is capable of having illusion
about infinity, while computers don't have any illusion at all!


How do I say this: I do not subscribe to that hypothesis.


Marshall
.

Relevant Pages

  • Re: Raatikainens critique of Chaitin
    ... >>the best mathematics of the past century, ... his way of proving incompleteness is an interesting alternative to the ... It's about the disjunctive proposition in the Gibbs ... human mind infinitely ...
    (comp.theory)
  • Re: Raatikainens critique of Chaitin
    ... >>the best mathematics of the past century, ... his way of proving incompleteness is an interesting alternative to the ... It's about the disjunctive proposition in the Gibbs ... human mind infinitely ...
    (sci.math)
  • Re: NZ squad for No Champions Trophy
    ... The match I had in mind was the Chappell Had Me fixture last season at the ... Obviously the end of the super-sub rule meant he had no reason to be in the ... Marshall would turn up was to select them both. ... it's worth bearing in mind that although Marshall was a disaster ...
    (rec.sport.cricket)
  • Re: Object-oriented thinking in SQL context?
    ... Well, unless they where doing basic science or mathematics like Marshall and Vadim, which might not have an immediate payout. ... Bob is *constantly* opposed. ... Me, I've been there, done that, changed my mind. ... Selzer bounced off the bottom of the twit filter ages ago. ...
    (comp.databases.theory)
  • Re: Lingerie Football
    ... reasonable to presume that Kelly likes women, ... endless fights with men; David, Marshall, me. ... There is to my mind a difference to my mind between making a factual ... for reasons he probably like me will be unable to fathom. ...
    (soc.religion.quaker)