In the first half of the 20th century, various formalisms were proposed to capture the informal concept of a computable function, with μ-recursive functions, Turing machines and the lambda calculus possibly being the best-known examples today.
Pirmojoje XX amžiaus pusėje buvo bandoma naudoti įvairius formalizmus, kad būtų galima žymėti neformalią sąvoką skaičiuojamoji funkcija, reiškiančią µ-grįžtamąsias funkcijas, Turingo mašinas ir lambda skaičiavimą, visa tai yra geriausiai žinomi pavyzdžiai šiandien.