You might be interested to hear of the Church-Turing thesis!