SOBRE O MÉTODO DE CÁLCULO COM ANEL DE POLINÔMIOS: ANTECEDETES HISTÓRICOS E POSSIBILIDADES DE PESQUISA

  • Fábio Maia BERTATO (UNICAMP)
Palavras-chave: Lógica, Anéis de Polinômios, Algebrização, Lógicas Clássicas e Não- Clássicas.

Resumo

Este artigo aborda os antecedentes históricos e as possibilidades do método de Cálculo com Anéis de Polinômios (PRC), por meio do estudo de sua aplicabilidade a diversas lógicas e, em particular, sobre o possível desenvolvimento deste sistema
algébrico de prova aplicado à Lógica de Primeira Ordem.

Downloads

Não há dados estatísticos.

Biografia do Autor

Fábio Maia BERTATO (UNICAMP)

O Laboratório Editorial foi instituído com o objetivo de criar condições e oportunidades para a difusão de pesquisas e tornar públicos os resultados dos trabalhos do corpo docente da FFC. Constitui-se num órgão adjunto à Diretoria da FFC e vinculado à SAEPE, com o apoio da Seção Gráfica, da Diretoria, da Biblioteca, e das Seções de Finanças, Compras e Técnica Acadêmica. A função do Laboratório Editorial é a de assessorar, planejar, realizar e distribuir livros, periódicos e outras publicações elaboradas na FFC.

E-mail: labeditorial@marilia.unesp.br 

Publicado
2014-12-19
Seção
Artigos