Re: Incompleteness vs. Mechanical Reasoning

On Apr 4, 5:06 am, Marshall <marshall.spi...@xxxxxxxxx> 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? 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?

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

Marshall

I'd say the relation is obvious. Incompleteness of logic shows that
mechanical reasoning does not exhaust all the possibilities of logical
reasoning, whether human mind can in turn exhaust them (or at least
come closer to) or not.

Regards
.

Relevant Pages

  • Re: Incompleteness vs. Mechanical Reasoning
    ... something about mechanical reasoning and then having ... someone mention incompleteness as if that had anything ... possible future computer could ever do? ... random decision. ...
    (sci.logic)
  • Incompleteness vs. Mechanical Reasoning
    ... 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 ... possible future computer could ever do? ...
    (sci.logic)
  • Re: Incompleteness vs. Mechanical Reasoning
    ... something about mechanical reasoning and then having ... someone mention incompleteness as if that had anything ... In fact the attitude seems ... possible future computer could ever do? ...
    (sci.logic)
  • Re: Incompleteness vs. Mechanical Reasoning
    ... something about mechanical reasoning and then having ... someone mention incompleteness as if that had anything ... The human mind has free will and is capable of making a genuinely ... I think that quantum computers are actually capable of picking ...
    (sci.logic)
Loading