This was done by Alonzo Church in 1936 with the concept of "effective calculability" based on his λ-calculus and by Alan Turing in the same year with his concept of Turing machines.
Acest lucru a fost făcut de către Alonzo Church în 1936 cu conceptul de „calculabilitate efectivă”, bazat pe calcul λ⁠(d), precum și de către Alan Turing în același an, cu conceptul său de mașină Turing.