Resumen: Según el teorema de Rice, todo es imposible. ¡Y sin embargo, hago cosas supuestamente imposibles todo el tiempo! Por supuesto, el teorema de Rice no dice simplemente "todo es imposible". Dice algo más específico: "Cada propiedad de un programa de computadora no es computable". (Si...
Wikipedia, así como otras fuentes que he encontrado, enumeran el voidtipo de C como un tipo de unidad en lugar de un tipo vacío. Esto me parece confuso, ya que me parece que se voidajusta mejor a la definición de un tipo vacío / inferior. No habito valores void, por lo que puedo decir. Una...
En el trabajo, se me ha encomendado la tarea de inferir cierta información sobre un lenguaje dinámico. Reescribo secuencias de declaraciones en letexpresiones anidadas , así: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x...
Una declaración del teorema de Rice se da en la página 35 de "Complejidad computacional: un enfoque moderno" (Arora-Barak): Una función parcial de { 0 , 1 }∗{0,1}∗\{0,1\}^* a { 0 , 1 }∗{0,1}∗\{0,1\}^* es una función que no está necesariamente definida en todas sus entradas. Decimos que una TM...