[Overview] [Previous] [Next]

Implications for Artificial Intelligence


Some philosophers have tried to use the Halting Problem as an argument against the possibility of intelligent computers. Stripped to its basics, the argument goes like this:

The first premise is undeniably true.

The second premise is generally supported by displaying a program that solves some subset of the Halting Problem, then describing a clever trick (not incorporated into the program) that solves a slightly larger subset.

There may well be valid arguments against the possibility of artificial intelligence. This is not one of them.

Copyright 1996 by David Matuszek
Last modified Apr 14, 1996