Máquinas de Turing paraconsistentes: una posible definición
Fuente:
Redalyc
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Artículo científico |
| Lenguaje: | es |
| Publicado: |
Escuela Regional de Matemáticas
2004
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1876434449642553344 |
|---|---|
| author | Juan C. Agudelo |
| author_facet | Juan C. Agudelo |
| contents | Máquinas de Turing paraconsistentes: una posible definición Juan C. Agudelo Andrés Sicard Física, Astronomía y Matemáticas Computabilidad máquinas de Turing lógica paraconsistente 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. 2004 artículo científico 0120-6788 https://www.redalyc.org/articulo.oa?id=46812204 es http://www.redalyc.org/revista.oa?id=468 Matemáticas: Enseñanza Universitaria application/pdf Escuela Regional de Matemáticas Matemáticas: Enseñanza Universitaria (Colombia) Num.2 Vol.XII |
| format | Artículo científico |
| id | redalyc_46812204 |
| institution | Redalyc |
| language | es |
| publishDate | 2004 |
| publisher | Escuela Regional de Matemáticas |
| spellingShingle | Máquinas de Turing paraconsistentes: una posible definición Juan C. Agudelo Física, Astronomía y Matemáticas Computabilidad máquinas de Turing lógica paraconsistente Máquinas de Turing paraconsistentes: una posible definición Juan C. Agudelo Andrés Sicard Física, Astronomía y Matemáticas Computabilidad máquinas de Turing lógica paraconsistente 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. 2004 artículo científico 0120-6788 https://www.redalyc.org/articulo.oa?id=46812204 es http://www.redalyc.org/revista.oa?id=468 Matemáticas: Enseñanza Universitaria application/pdf Escuela Regional de Matemáticas Matemáticas: Enseñanza Universitaria (Colombia) Num.2 Vol.XII |
| title | Máquinas de Turing paraconsistentes: una posible definición |
| topic | Física, Astronomía y Matemáticas Computabilidad máquinas de Turing lógica paraconsistente |
| url | https://www.redalyc.org/articulo.oa?id=46812204 |