Redirecting..
https://en.wikipedia.org/wiki/Cognitive_algorithmic_unsoundness_theorem