Introduced by Alonzo Church and his student Stephen Cole Kleene in the 1930s to  study computable functions. A (very simple) formal system for defining functions and their operational meanings, yet is shown to be as powerful as other systems.