Busca avançada
Ano de início
Entree

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

Processo: 16/16273-4
Linha de fomento:Bolsas no Brasil - Iniciação Científica
Vigência (Início): 01 de novembro de 2016
Vigência (Término): 31 de outubro de 2017
Área do 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

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)