sounds like this: http://en.m.wikipedia.org/wiki/Church–Turing_thesis