Church-Turing thesis

Short definition from Wiktionary

Proper noun

1. 1
   A hypothesis about the nature of computable functions, stating that a function on the natural numbers can be calculated by an effective method if and only if it is computable by a Turing machine.