tag:blogger.com,1999:blog-4022051.post114053460606038589..comments2020-02-01T05:19:09.438+00:00Comments on SF writer Gary Gibson: Gary Gibson, science fiction writerhttp://www.blogger.com/profile/16479905286212513002noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-4022051.post-1140612942390608922006-02-22T12:55:00.000+00:002006-02-22T12:55:00.000+00:00Hi GarryAn interesting aspect is Godel's work on '...Hi Garry<BR/>An interesting aspect is Godel's work on 'Incompleteness'. Godel has been getting a bit of a revival lately as a philospher on time but also on AI.<BR/>Most of the arguments seem to go like this:<BR/>Godel proved that any formal system that is capable of generating and proving true statements of arithmatic is also capable of generating true statements that a HUMAN can intuitively recognise as true but CANNOT be proved true by the formal system. THEREFORE any program that can generate logical truths/concepts will be able to generate new truths/concepts but will NOT be able to recognise them as true itself. There is brief discussion in 'A World Without Time: The Forgotten Legacy of Godel and Einstein' by Palle Yourgrau and an extensive discussion in Penrose's 'The Emperors New Clothes'.<BR/>I think it's an interesting idea that you can have the best AI imaginable but the program unavoidably cannot recognise new logical truths that are not in the original program. It needs a human brain for this.<BR/>I don't know if this idea has been used in SF. (I'm planning to try it in a story.)Mark Hardingnoreply@blogger.com