Hypercomputation and the Human Mind
Can Cognitive Science Survive Hypercomputation?
CS61A Lecture 26 Logic Programming