thèse de Church

concept thèse sur les modèles de calculs statuant qu'il n'existe pas de modèle de calcul plus puissant que la machine de Turing

Aussi : these de Church, thèse de Church-Turing, thèse Church-Turing