From: Mohsen Ravanbakhsh (firstname.lastname@example.org)
Date: Sun Feb 25 2007 - 12:12:01 MST
What's wrong with this
If it's true, making a (supper)human is impossible!
*Minds, Machines and Gödel* is J. R.
1959 <http://en.wikipedia.org/wiki/1959> philosophical paper in which he
argues that a human
accurately represented by an algorithmic
automaton <http://en.wikipedia.org/wiki/Turing_machine>. Appealing to Gödel's
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
-- Mohsen Ravanbakhsh,
This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:57 MDT