Español
← Volver a la cronología

Tesis de Church-Turing

Era: Teoría Temprana · años 1930–años 1950

Alonzo Church y Alan Turing propusieron de forma independiente la célebre Tesis de Church-Turing. Esta tesis afirma que toda función efectivamente computable es Turing-computable. De este modo se formaliza la noción intuitiva de «computabilidad», convirtiéndose en el fundamento de la ciencia de la computación.

Alonzo Church y Alan Turing

Estado
Verificado
Tipo de contenido
fact
Última verificación

Fuentes y respaldo

  1. The Church-Turing Thesis

    Stanford Encyclopedia of Philosophy · Tipo de fuente: secondary-summary

    Explains the independent 1936 formulations and the later name "Church-Turing thesis".

    Consultado: