Re: Incompleteness vs. Mechanical Reasoning

On Apr 4, 4:46 pm, "R. Srinivasan" <sradh...@xxxxxxxxxx> wrote:
On Apr 4, 8: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.

The human mind has free will and is capable of making a genuinely
random decision.

Free choice is different to a random event. See Peter Unger's "Free
Will and Scientiphicalism".

http://as.nyu.edu/docs/IO/1179/freewill.pdf

How do you know that we have free will?
.

Relevant Pages

  • 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
    ... someone mention incompleteness as if that had anything ... possible future computer could ever do? ... mechanical reasoning does not exhaust all the possibilities of logical ... whether human mind can in turn exhaust them (or at least ...
    (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)