Preguntas etiquetadas con real-numbers

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 …

14 complexity-theory  reference-request  complexity-classes  real-numbers  computable-analysis 

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 yo?

14 data-structures  lambda-calculus  integers  real-numbers 

¿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) = \begin{cases} 1 & \text{if \(\bar n\) occurs in …

11 computability  real-numbers 

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), …

10 binary-arithmetic  arithmetic  floating-point  real-numbers  number-formats 

¿Es "verdadero el teorema de Rice para los reales computables"? ¿Corresponde esto de alguna manera directa a la conexión de los reales?

10 computability  real-numbers  computable-analysis 

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 muy concisa. Sin embargo, desde que me gustó el …

8 probability-theory  coq  real-numbers  uncountability