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