Diferència entre revisions de la pàgina «Tesi de Church-Turing»
De Wikisofia
m (bot: - de Turing, o el que + de Turing o, cosa que) |
|||
| Línia 1: | Línia 1: | ||
{{ConcepteWiki}} | {{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, | + | 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.]] | Vegeu [[mental|mental.]] | ||
Revisió de 15:00, 3 nov 2018
Afirmació sostinguda intuïtivament, i no provada formalment, per Alonzo Church i Alan Turing, cap a 1937, segons la qual existeix un algorisme per a la solució d'un problema matemàtic si i només si existeix una 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 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.