Máquinas de Turing paraconsistentes: análises e perspectivas

• Processo: 16/16273-4
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de novembro de 2016
• Data de Término da vigência: 31 de outubro de 2017
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Mariana Matulovic da Silva Rodrigueiro
• Beneficiário: Bruna Luiza Bispo
• Instituição Sede: Faculdade de Ciências e Engenharia. Universidade Estadual Paulista (UNESP). Campus de Tupã. Tupã , SP, Brasil
• Assunto(s): Lógica paraconsistente Lógicas não clássicas
• Palavra(s)-Chave do Pesquisador: Lógica Paraconsistente | Lógicas não-clássicas | Máquina de Turing | Lógicas Não-clássicas.

Resumo

Inspirado no modelo de máquina idealizado por Alan Turing, Juan Carlos Agudelo esboça uma máquina que admite um conjunto de comandos que são executados de modo simultâneo. Para que isto seja possível, visto que o sistema lógico clássico não concebe a possibilidade de se trabalhar com estados superpostos, um novo sistema lógico foi implementado pelo autor na versão das lógicas paraconsistentes e circuitos lógicos paraconsistentes são propostos a partir de uma generalização dos circuitos booleanos clássicos. O presente projeto de pesquisa visa analisar a fundamentação teórica subjacente à concepção de uma Máquina de Turing Paraconsistente. (AU)