Tesi de Church-Turing

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.