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

Propriétés