The fundamental results the researchers obtained established Turing computability as the correct formalization of the informal idea of effective calculation.
Rezultatele fundamentale obținute de cercetători au stabilit Turing-calculabilitatea⁠(d) ca fiind formalizarea corectă a ideii informale de calcul efectiv.