Tesi de Church-Turing
De Wikisofia
La revisió el 15:00, 3 nov 2018 per Jaumeortola (discussió | contribucions) (bot: - de Turing, o el que + de Turing o, cosa que)
La revisió el 15:00, 3 nov 2018 per Jaumeortola (discussió | contribucions) (bot: - de Turing, o el que + de Turing o, cosa que)
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.