En computabilidad significativa: parte I: significación de números reales, secuencias y tipos
Autores: Kulyukin, Vladimir A.
Idioma: Inglés
Editor: MDPI
Año: 2024
Acceso abierto
Artículo científico
2024
En computabilidad significativa: parte I: significación de números reales, secuencias y tipos
Categoría
Matemáticas
Subcategoría
Matemáticas generales
Palabras clave
Computabilidad
Números reales
Limitaciones de memoria
Tipos de datos
Estructuras de datos
Matrices multidimensionales
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 22
Citaciones: Sin citaciones
La computabilidad significativa tiene como objetivo separar lo que es teóricamente computable de lo que es computable a través de procesos realizables en computadoras con cantidades finitas de memoria. Los números reales y sus secuencias, los tipos de datos y las instancias se tratan como textos finitos, y las limitaciones de memoria se hacen explícitas a través de un requisito de que los textos se almacenen en la memoria disponible en los dispositivos que los manipulan. En la Parte I de nuestra investigación, definimos los conceptos de significación y referencia de los números reales. Extendemos la significación a tuplas de números, tipos de datos e instancias de datos y mostramos que las estructuras de datos representables como tuplas de números finitos discretos son significativas. A partir de la significación de las tuplas reales, procedemos a la significación constructiva de matrices multidimensionales y mostramos que cualquier estructura de datos representable como una matriz multidimensional de números finitos discretos es significativa.
Descripción
La computabilidad significativa tiene como objetivo separar lo que es teóricamente computable de lo que es computable a través de procesos realizables en computadoras con cantidades finitas de memoria. Los números reales y sus secuencias, los tipos de datos y las instancias se tratan como textos finitos, y las limitaciones de memoria se hacen explícitas a través de un requisito de que los textos se almacenen en la memoria disponible en los dispositivos que los manipulan. En la Parte I de nuestra investigación, definimos los conceptos de significación y referencia de los números reales. Extendemos la significación a tuplas de números, tipos de datos e instancias de datos y mostramos que las estructuras de datos representables como tuplas de números finitos discretos son significativas. A partir de la significación de las tuplas reales, procedemos a la significación constructiva de matrices multidimensionales y mostramos que cualquier estructura de datos representable como una matriz multidimensional de números finitos discretos es significativa.