Abstract

In 1931, Kurt Gödel proved his revolutionary incompleteness theorems, which demonstrate that formal mathematical systems are fundamentally limited in regards to what they can prove. While they are strictly mathematical results, they are sometimes argued to imply that a computational model cannot exactly model the human mind. Such arguments, often
... read more