Universidad del Valle Biblioteca Digital

Biblioteca Digital Universidad del Valle > Patrimonio Documental Universidad del Valle > Revistas > Matemáticas Enseñanza Universitaria > Vol. 12 no. 2, 2004 / Matemática Enseñanza Universitaria >

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10893/1735

Título : Máquinas de Turing paraconsistentes: una posible definición
Autores: Agudelo, Juan C.
Sicard, Andrés
Palabras clave : Computabilidad
Máquinas de Turing
Lógica Paraconsistente
Fecha de publicación: 13-oct-2011
Resumen: Se define un método para axiomatizar las máquinas de Turing, mediante el cual, dada una máquina y una entrada, se construye una teoría en la lógica clásica de predicados de primer orden que da cuenta del comportamiento de. cuando dicho método es utilizado para axiomatizar máquinas de Turing no deterministas produce teorías inconsistentes y por lo tanto triviales, teniendo en cuenta que la lógica subyacente es la lógica clásica. mediante la sustitución de la lógica clásica por la lógica paraconsistente se construye un nuevo modelo de computación el cual se denominó máquinas de Turing paraconsistentes. Si bien estas nuevas máquinas son una generalización de las máquinas de Turing (deterministas), tal como sucede con otras muchas generalizaciones, se demuestra que éstas son, desde el punto de vista de la computabilidad, equivalentes al modelo original.
URI: http://hdl.handle.net/10893/1735
Aparece en las colecciones: Vol. 12 no. 2, 2004 / Matemática Enseñanza Universitaria

Texto completo:

Archivo Descripción Tamaño Formato
Vol XII. Num. 2,2004, p.37-51.pdf529.03 kBAdobe PDFDescargar aquí
Ver estadísticas

Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons
Creative Commons

Los ítems de Biblioteca Digital están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.

 

Biblioteca Mario Carvajal
biblioteca@univalle.edu.co
Teléfonos +57 2 3212950 - Fax 3212977
Universidad del Valle - Ciudad Universitaria
Calle 13 # 100-00 Cali, Colombia
    Biblioteca San Fernando
biblioteca@univalle.edu.co
Teléfonos +57 2 5185633 - Fax 5581951
Universidad del Valle - Sede San Fernando
Calle 4a.B # 36-00
Cali, Colombia
    Biblioteca Colección Clínica
biblioteca@univalle.edu.co
Teléfonos +57 2 5576113
Hospital Universitario del Valle
Calle 5a # 36-08
Cali, Colombia
DSpace Software Copyright © 2002-2008 MIT and Hewlett-Packard