Meta: Minds, Machines and Gödel

From: Mohsen Ravanbakhsh (
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 <> philosophical paper in which he
argues that a human
mathematician<>cannot be
accurately represented by an algorithmic
automaton <>. Appealing to Gödel's
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


Mohsen Ravanbakhsh,

This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:57 MDT