**From:** Mohsen Ravanbakhsh (*ravanbakhsh@gmail.com*)

**Date:** Sun Feb 25 2007 - 12:12:01 MST

**Next message:**Jef Allbright: "Re: Meta: Minds, Machines and GĂ¶del"**Previous message:**Mohsen Ravanbakhsh: "Re: JOIN, META: Modularity and mehtodology"**Next in thread:**Jef Allbright: "Re: Meta: Minds, Machines and GĂ¶del"**Reply:**Jef Allbright: "Re: Meta: Minds, Machines and GĂ¶del"**Reply:**Jey Kottalam: "Re: Meta: Minds, Machines and Gödel"**Reply:**Stathis Papaioannou: "Re: Meta: Minds, Machines and Gödel"**Messages sorted by:**[ date ] [ thread ] [ subject ] [ author ] [ attachment ]

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,

**Next message:**Jef Allbright: "Re: Meta: Minds, Machines and GĂ¶del"**Previous message:**Mohsen Ravanbakhsh: "Re: JOIN, META: Modularity and mehtodology"**Next in thread:**Jef Allbright: "Re: Meta: Minds, Machines and GĂ¶del"**Reply:**Jef Allbright: "Re: Meta: Minds, Machines and GĂ¶del"**Reply:**Jey Kottalam: "Re: Meta: Minds, Machines and Gödel"**Reply:**Stathis Papaioannou: "Re: Meta: Minds, Machines and Gödel"**Messages sorted by:**[ date ] [ thread ] [ subject ] [ author ] [ attachment ]

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