Sobre la teoría de efectividad Tipo 2 y algunas aplicaciones en el Álgebra Lineal

Este trabajo muestra una pequeña introducción a laMatemáticas Tipo 2, un tipo de computabilidad basado en las Máquinas de Turing de múltiples cintas unidireccionales. Con este modelo y usando una nueva definición computabilidad, podemos solucionar algunos problemas como inestabilidades numéricas que se encuentran cuando se usa la computabilidad clásica, lo que permite disminuir las serias diferencias que se observan entre los resultados de los cálculos que se hacen usando el modelo y la realidad. El objetivo principal, es aplicar este tipo de computabilidad en la resolución de algunos problemas propios del Álgebra Lineal, tales como, dada una matriz, encontrar su determinante o calcular su inversa.

• Tipo de recurso: Trabajo de grado de pregrado
• Fecha de publicación: 2020
• Institución: Universidad Distrital Francisco José de Caldas
• Repositorio: RIUD: repositorio U. Distrital
• Idioma: spa
• OAI Identifier: oai:repository.udistrital.edu.co:11349/25050
• Acceso en línea: http://hdl.handle.net/11349/25050
• Palabra clave: Máquinas de Turing; Computabilidad; Funciones computables; Teoría de efectividad Tipo 2; Matemáticas - Tesis y disertaciones académicas; Máquinas de Turing; Álgebra lineal; Estructuras de datos; Turing machines; Computability; Computable functions; Type-2 theory of effectivity
• License: Atribución-NoComercial-SinDerivadas 4.0 Internacional