Diferencia entre revisiones de «Teoría de la computabilidad»

una [[máquina oráculo]] que utiliza una [[caja negra (sistemas)|caja negra]] que puede calcular una función particular que no es calculable con una máquina de Turing. La fuerza de cómputo de una máquina oráculo viene descrita por su [[grado de Turing]]. La [[teoría de cómputos reales]] estudia máquinas con precisión absoluta en los números reales. Dentro de esta teoría, es posible demostrar afirmaciones interesantes, tales como «el complemento de un [[conjunto de Mandelbrot]] es solo parcialmente decidible».