The postulate that any problem that can be solved by a computer program can be solved by a Turing machine.