La mayoría de los tutoriales sobre el cálculo de Lambda proporcionan un ejemplo en el que los enteros positivos y los booleanos pueden representarse mediante funciones. ¿Qué pasa con -1 y
La mayoría de los tutoriales sobre el cálculo de Lambda proporcionan un ejemplo en el que los enteros positivos y los booleanos pueden representarse mediante funciones. ¿Qué pasa con -1 y
Un estudiante recientemente me pidió que verificara una prueba de dureza NP para ellos. Realizaron una reducción en la línea de: Reduzco este problema P′P′P' que se sabe que es NP completo a mi problema PPP (con una reducción múltiple de tiempo múltiple), por lo que PPP es NP-duro. Mi...
¿Cómo se puede decidir si ππ\pi tiene alguna secuencia de dígitos? me inspiró a preguntar si la siguiente variación de aspecto inocente es computable: f(n)={10if n¯ occurs in the decimal representation of πotherwisef(n)={1if n¯ occurs in the decimal representation of π0otherwisef(n) =...
El punto flotante actual (flotante ANSI C, doble) permite representar una aproximación de un número real. ¿Hay alguna forma de representar números reales sin errores ? Aquí hay una idea que tuve, que es todo menos perfecta. Por ejemplo, 1/3 es 0.33333333 ... (base 10) u o.01010101 ... (base 2),...
¿Es "verdadero el teorema de Rice para los reales computables"? ¿Corresponde esto de alguna manera directa a la conexión de los
COQ es un probador de teoremas interactivo que utiliza el cálculo de construcciones inductivas, es decir, se basa en gran medida en tipos inductivos. Utilizándolos, las estructuras discretas como números naturales, números racionales, gráficos, gramáticas, semánticas, etc. se representan de manera...