From: Mohsen Ravanbakhsh (ravanbakhsh@gmail.com)
Date: Sun Feb 25 2007 - 12:12:01 MST
What's wrong with this
argument<http://users.ox.ac.uk/%7Ejrlucas/Godel/mmg.html>?!!!
If it's true, making a (supper)human is impossible!
*Minds, Machines and Gödel* is J. R.
Lucas<http://en.wikipedia.org/wiki/John_Lucas_%28philosopher%29>'s
1959 <http://en.wikipedia.org/wiki/1959> philosophical paper in which he
argues that a human
mathematician<http://en.wikipedia.org/wiki/Mathematician>cannot be
accurately represented by an algorithmic
automaton <http://en.wikipedia.org/wiki/Turing_machine>. Appealing to Gödel's
incompleteness theorem<http://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorem>,
he argues that for any such automaton, there would be some mathematical
formula which it could not prove, but which the human mathematician could
both see, and show, to be true.
The paper is a Gödelian
argument<http://en.wikipedia.org/wiki/Mechanism_%28philosophy%29#G.C3.B6delian_arguments>over
mechanism.
--wikipedia
-- Mohsen Ravanbakhsh,
This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:57 MDT