These developments have led to the modern study of logic and computability, and indeed the field of theoretical computer science as a whole.
Estes desenvolvementos levaron aos estudos modernos da lóxica e da computabilidade, e de feito ao campo das ciencias da computación teórica como un todo.