Una moraleja con raíz matemática: la Tesis de Church-Turing sobre la equivalencia de modelos
Modelos matemáticos equivalentes, sistemas computables, completos y consistentes.
Modelos matemáticos equivalentes, sistemas computables, completos y consistentes.