We have turing-incomplete thought
We have turing-incomplete thought