Mostra la font per a Tesi de Church-Turing

{{ConcepteWiki}}
Afirmació sostinguda intuïtivament, i no provada formalment, per [[Autor:Church, Alonzo|Alonzo Church]] i [[Autor:Turing, Alan Mathison|Alan Turing]], cap a 1937, segons la qual existeix un [[algorisme|algorisme]] per a la solució d'un problema matemàtic si i només si existeix una [[màquina de Turing|màquina de Turing]] que pugui computar aquest problema. Church va formular aquesta tesi mitjançant l'anomenat «càlcul de lambda (8)». La tesi porta implícita l'afirmació que la [[ment|ment]] humana és una màquina de Turing o, cosa que és el mateix, que el pensament humà és computable, o que la ment és un model computacional.

Vegeu [[mental|mental.]]

{{Etiqueta
|Etiqueta=Epistemologia
}}
{{InfoWiki}}