Irrelevance and relevance of Gödel’s theorems to artificial intelligence
Sang Mun Kim · Kybernetes · 1995
Considers whether Gödel’s results preclude the possibility or the impossibility of the artificial intelligence (AI) thesis; and also what the (possible) applications or consequences of them are for AI research. Shows that while the limitative Gödel’s results are shown to preclude neither the possibility nor the impossibility of the AI thesis, they have and will continue to shed significant light on the development of the AI field.