The halting problem

Jeff Prideaux (JPRIDEAUX@GEMS.VCU.EDU)
Fri, 17 Mar 1995 12:42:50 -0400

There is a lot more going on in the arguement like issues of "soundness",
"consistency", "completness", "belief". The above contradiction occurs when
a consistent (or sound) formal system is used. Remember, a formal system can
be consistent but not complete... or complete, but not consistent.

Penrose suggests in SHADOWS OF THE MIND that Turing concluded that mind=brain
and the brain is computational but operates with an unsound formal system...and
that Godel concluded that the brain is computational and operates on a sound
formal system, but the mind does not equal brain. Penrose is suggesting that
mind=brain but the brain itself is not computational. I believe Rosen would be
consistent with Penrose's stance.

Jeff Prideaux