Fondo El cálculo sobre números reales es más complicado que el cálculo sobre números naturales, ya que los números reales son objetos infinitos y hay innumerables números reales, por lo tanto, los números reales no pueden representarse fielmente por cadenas finitas sobre un alfabeto finito. A...
Esta puede ser una pregunta básica, pero he estado leyendo y tratando de entender documentos sobre temas como el cálculo de equilibrio de Nash y las pruebas de degeneración lineal y no he estado seguro de cómo se especifican los números reales como entrada. Por ejemplo, cuando se afirma que LDT...
Actualmente, el cálculo de los reales en los idiomas más populares todavía se realiza a través de operaciones de coma flotante. Por otro lado, teorías como la efectividad de tipo dos (TTE) y la teoría de dominios han prometido durante mucho tiempo el cálculo exacto de los reales. Claramente, el...
¿Cuál es la complejidad (en la RAM entera estándar) de calcular la transformada discreta estándar de Fourier de un vector de enteros?nnn El algoritmo clásico para transformaciones rápidas de Fourier , atribuidas inapropiadamente [1] a Cooley y Tukey, generalmente se describe como funcionando en...
Solo quiero conocer algunos ejemplos de las funciones que pueden calcularse con el cálculo lambda sin tipo pero no con los cálculos lambda con tipo. Como soy un principiante, agradecería cierta reiteración de la información de fondo. Gracias. Editar: por cálculos lambda mecanografiados, tenía la...
Como sabemos, la definición de la complejidad computacional del algoritmo es casi sin controversia, pero la definición de la complejidad computacional de los reales o los modelos de cálculo sobre los reales no es en tal caso. Conocemos el modelo y modelo de Blum y Smales en el libro Análisis...
Tengo una pregunta, cuya respuesta es probablemente conocida, pero parece que no puedo encontrar nada significativo después de un poco de búsqueda, por lo que agradecería un poco de ayuda. Mi pregunta es si se sabe que decidir si un número es trascendental es indecidible. Posiblemente, uno asume...