FOR IMMEDIATE RELEASE
Is strong AI in danger?
Recent research indicates that the Platonist Philosophy underlying current thought, which provides the basis for strong AI, may be founded on quicksand.
Mumbai 9th April 2001 -- In a novel experiment, Alix_Comsi Associates publishing division has released on the Internet, for public pre-viewing, chapters from their forthcoming electronic book 'Re-visiting Gödel's Proof of Undecidability'.
This recently completed research (definitely not for the faint-hearted) brings to light a hidden meta-assumption implicitly accepted by philosophers, mathematicians and logicians for the last 60 years in an arcane area of mathematical logic.
This meta-assumtion allows the famous 2000-year old 'Liar' paradox, loosely ascribed to the Greek Epimenides, to be constructed in all currently accepted formal systems of Arithmetic.
(The paradox : If we define the 'Liar' sentence as 'The 'Liar' sentence is a lie', then is the 'Liar' sentence true or false?)
According to experts, formal systems of Arithmetic are basic to our understanding of the way we use language to communicate precisely in the digital world of computers. This result thus has the potential to radically influence, and alter, our ways of thought at a fundamental level.
The current work indicates that some of the ways in which we define infinite, never-ending processes in Arithmetic, technically termed recursive definitions, cannot be completely translated into any computer code.
This appears to attack the basis of strong Artificial Intelligence efforts, which are based on the premise that such infinite definitions can always be mechanically coded.
This belief stems from the profoundly influential work of the Austrian mathematician and logician, Kurt Gödel, whose reasoning was strongly influenced by Plato's philosophy.
Gödel startled the scientific community in 1931 by constructing Arithmetical relations that were indisputably true, but which he reasoned could never be proven true by any of the possible processes of reasoning allowed in Arithmetic.
Although Gödel's Theorems were developed in the rather unfamiliar area of mathematical logic, the philosophical implications and influence of Gödel's work and thought have been increasingly felt in entirely un-related disciplines over the years.
The significance and impact of Gödel's reasoning was made familiar to a wider public in 1982 by the best-selling book 'G