A machine that tries to answer a question by first simulating (completely faithfully) how it would answer that question will never terminate.
A machine that tries to answer a question by first simulating (completely faithfully) how it would answer that question will never terminate.