La tesis de Church-Turing es considerada como el primer axioma en la teoría de la computación, permitiendo comenzar a estudiar los problemas resolubles mediante un algoritmo.