thèse de Church
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
Proposition avancée par Alonzo Church en 1935 qui, dans un sens, soutient que les seules fonctions effectivement calculables sont celles qui sont définissables par une machine de Turing.
Note :
La thèse de Church identifie l'idée informelle de calculabilité effective (effective computability) à la notion formelle de calculabilité de Turing. Il a été montré que plusieurs notions formelles sont équivalentes à celles des machines de Turing, y compris la « récursivité générale » dans le sens de Kleene.
Terme privilégié :
- thèse de Church n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Note :
((Domaine d'emploi indiqué dans la source citée:)) logic
Terme :
- Church's thesis