church-turing thesis

All reasonable models of computation are equivalent in power. They can all compute exactly the same set of functions - the computables