Diferència entre revisions de la pàgina «Tesi de Church-Turing»
De Wikisofia
(Es crea la pàgina amb «{{ConcepteWiki}} Afirmació sostinguda intuïtivament, i no provada formalment, per Alonzo Church i Autor:Turing, Alan Mathison|Alan Turing...».) |
|||
| Línia 2: | Línia 2: | ||
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 el que és el mateix, que el pensament humà és computable, o que la ment és un model computacional. | 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 el que és el mateix, que el pensament humà és computable, o que la ment és un model computacional. | ||
| − | + | Vegeu [[mental|mental.]] | |
{{Etiqueta | {{Etiqueta | ||
Revisió del 22:54, 17 maig 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 el que és el mateix, que el pensament humà és computable, o que la ment és un model computacional.
Vegeu mental.