Several independent efforts to give a formal characterization of effective calculability led to a variety of proposed definitions (general recursion, Turing machines, λ-calculus) that later were shown to be equivalent.
Αρκετές ανεξάρτητες προσπάθειες για να δώσουν έναν επίσημο χαρακτηρισμό μίας αποτελεσματικής υπολογισιμότητας οδήγησαν σε μια ποικιλία προτεινόμενων ορισμών (γενική αναδρομή, μηχανές Turing, λ-λογισμός) που αργότερα φάνηκε να είναι ισοδύναμες.