Por favor utiliza este link para citar o compartir este documento: http://repositoriodigital.academica.mx/jspui/handle/987654321/259681
Título: Máquinas de Turing paraconsistentes: una posible definición
Palabras clave: Física, Astronomía y Matemáticas
Computabilidad
máquinas de Turing
lógica paraconsistente
Editorial: Escuela Regional de Matemáticas
Descripción: Se define un método para axiomatizar las máquinas de Turing, mediante el cual, dada una máquina M y una entrada n, se construye una teoría en la lógica clásica de predicados de primer orden que da cuenta del comportamiento de M(n). 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 para consistente C=1 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.
Other Identifiers: http://www.redalyc.org/articulo.oa?id=46812204
Aparece en las Colecciones:Matemáticas: Enseñanza Universitaria

Archivos de este documento:
No hay archivos asociados a este documento.


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.