Reflections on Kurt Go¨del
Why Go¨del's theorem cannot refute computationalism
Artificial Intelligence
Mind and Mechanism
The Universal Computer: The Road from Leibniz to Turing
The Universal Computer: The Road from Leibniz to Turing
Shadows of the Mind: A Search for the Missing Science of Consciousness
Shadows of the Mind: A Search for the Missing Science of Consciousness
Alan Turing
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Gödel: A Life of Logic
Computation: finite and infinite machines
Computation: finite and infinite machines
Revised stable models – a semantics for logic programs
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
| Hi-index | 0.01 |
We discuss the influence of Gödel and his results on the surfacing of the rigorous notion of computability afforded by Turing. We also address the debate about the limits of Artificial Intelligence spurned by Roger Penrose, on the basis of Gödel's theorems, and the views of Gödel himself. We conclude by touching upon the use of logic as a tool with which to approach the description of mind.