Show simple item record

dc.contributor.authorAgudelo Agudelo, Juan Carlosspa
dc.contributor.authorSicard Ramírez, Andrésspa
dc.date.accessioned2011-10-13T19:42:23Z
dc.date.available2011-10-13T19:42:23Z
dc.date.issued2011-10-13
dc.identifier.urihttp://hdl.handle.net/10893/1735
dc.description.abstractSe 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.spa
dc.language.isoesspa
dc.subjectComputabilidadspa
dc.subjectMáquinas de Turingspa
dc.subjectLógica Paraconsistentespa
dc.titleMáquinas de Turing paraconsistentes : una posible definiciónspa
dc.typeArticlespa
dc.rights.accessrightsinfo:eu-repo/semantics/openAccessspa


Files in this item

Thumbnail
Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record