Un modèle plus puissant que les machines de Turing a été introduit par Alan Turing dans son article « Systems of logic based on ordinals » en 1939. Cet article examinait des systèmes mathématiques dans lesquels on dispose d`un oracle capable de calculer une unique fonction arbitraire (non ...