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. Continúa leyendo Una moraleja con raíz matemática: la Tesis de Church-Turing sobre la equivalencia de modelos