The proposition that there is no way to compute the answer to any question that is beyond the powers of a universal Turing machine.
Category: Artificial Intelligence