La thèse de Church affirme que toute fonction calculable peut l'être avec un ensemble réduit d'instructions.