David Hilbert is there an algorithm to find out if a mathematical theorem is provable
Alan Turing there is a general purpose computing device that can follow any algorithm
David Deutsch Is there a (single) universal computing device which can efficiently simulate any other physical system?