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

una [[máquina oráculo]] que utiliza una 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».

 

 

{{Bueno|ja}}