Tese de Church-Turing
Era: Teoria Precoce · 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 e Alan Turing
Fontes e evidências
The Church-Turing Thesis
Stanford Encyclopedia of Philosophy · Tipo de fonte: Síntese secundária
Explica as formulações independentes de 1936 e o nome dado mais tarde de «tese de Church-Turing».
Consultado: