Tese de Church-Turing
Era: Teoria Inicial · anos 1930–anos 1950
Alonzo Church e Alan Turing propuseram independentemente a famosa Tese de Church-Turing. Essa tese afirma que qualquer função efetivamente computável é Turing-computável. Isso formaliza a noção intuitiva de «computabilidade» e tornou-se a base da ciência da computação.
Alonzo Church & Alan Turing
Fontes e evidências
The Church-Turing Thesis
Stanford Encyclopedia of Philosophy · Tipo de fonte: secondary-summary
Explains the independent 1936 formulations and the later name "Church-Turing thesis".
Acessado: