Artificial Intelligence, Gödelian Arguments Against

Gödel's incompleteness theorem says that there are arithmetical truths expressible in certain formal systems which cannot be proven within those systems. This result reveals certain inherent limitations on what is computable, which, according to some theorists, show that minds are not machines because they are not subject to the same limitations.

Keywords: artificial intelligence; algorithms; Gödel's theorem; mind; mechanism