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

Autores

  • Fábio Maia Bertato Pesquisador do Centro de Lógica, Epistemologia e História da Ciência (CLE - Unicamp)

DOI:

https://doi.org/10.36311/1984-8900.2013.v5n10.4529

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.

Referências

BERTATO, Fábio Maia; D’OTTAVIANO, Itala M. Loffredo. Luca Pacioli and the "Controversy of the Perspective": the classification of the mathematics from the classical antiquity to the end of the quattrocento. Revista Brasileira de História da Matemática, Rio Claro, Especial no 1, - Festschrift Ubiratan D’Ambrosio, p. 505-525, dez. 2008.

BERTATO, Fábio Maia. A "De Divina Proportione" de Luca Pacioli - Tradução Anotada e Comentada. xlivp., 292p. Tese de Doutorado (Filosofia). Instituto de Filosofia e Ciências Humanas, Universidade Estadual de Campinas. Campinas, 2008.

BERTATO, Fábio Maia. A "De Divina Proportione" de Luca Pacioli - Tradução Anotada e Comentada. Campinas: Coleção CLE, 2010, v. 56, 344p.

D'OTTAVIANO, Itala M. Loffredo; FEITOSA, Hércules. A. História da lógica e o surgimento das lógicas não clássicas. Coleção História da Matemática para Professores, SBHM/UNESP, v. 1, p. 01-66, 2003.

GOLDSTEIN, Rebecca. Incompletude: a prova e o paradoxo de Kurt Gödel. Trad. Ivo Korytowski. São Paulo: Companhia das Letras, 2008.

BUSCHE, Hubertus. Leibniz' Weg ins perspektivische Universum: eine Harmonie im Zeitalter der Berechnung. Hamburg: Felix Meiner Verlag, 1997.

CARRUCCIO, Ettore; Mathematics and Logic in History and in Contemporary Thought. Trad. Isabel Quigly. Chicago: Aldine Transaction, 2006.

PEACOCK, George. Treatise on Algebra. 1845.

KATZ, Victor J. A History of Mathematics: An Introduction. New York: HarperCollins, 1993.

DE MORGAN, Augustus. Trigonometry and Double Algebra. London: Taylor, 1849.

SLOMSON, A. B.; BELL, J. L. Models and Ultraproducts: An Introduction. Amsterdam: North-Holland, 1969.

BOOLE, George. An investigation of the laws of thought: on which are founded the mathematical theories of logic and probabilities. London: Walton and Maberly, 1854.

ARISTÓTELES. YEBRA, Valentín Garcia (ed.). Metafísica. Madrid: Editorail Gredos, 1970. v.1. (Edição Trilíngüe: Grego, Latim e Espanhol).

CIGNOLI, Roberto. L. O.; D'OTTAVIANO, Itala. M. L.; MUNDICI, Daniele. Algebraic foundations of many-valued reasoning. Dordrecht: Kluwer Academic Publishers, 2000. v. 2.

CIGNOLI, Roberto. L. O.; D'OTTAVIANO, Itala. M. L.; MUNDICI, Daniele. Álgebras das lógicas de Lukasiewicz. Coleção CLE, v. 12, (2ª Ed.). Campinas: CLE/UNICAMP, 1995.

BUCHBERGER, Bruno. Ein Algorithmus zum Auffinden der Basiselemente des Restklassenriges nach einem nulldimensionalen Polynomideal. Tese de doutorado (Filosofia). Universität Innsbruck. Innsbruck, 1965.

BUCHBERGER, Bruno. An Algorithm for Finding the Basis Elements in the Residue Class Ring Modulo a Zero Dimensional Polynomial Ideal. Trad. por M. Abramson in Journal of Symbolic Computation 41 (2006): 471-511.

BUCHBERGER, Bruno. Ein algorithmisches Kriterium für die Lösbrakeit eines algebraischen Gleichungssystems. Aequationes Mathematicae 4 (1970): 374-383.

BUCHBERGER, Bruno; WINKLER, F. (eds.). Gröbner Bases and Applications. Trad. por M. Abramson e Robert Lumbert. London Mathematical Society Lecture Note Series 251, Cambridge University Press, 1998, 535-545.

D'OTTAVIANO, Itala M. L. ; FEITOSA, Hércules A. . Deductive systems and translations. In: Jean-Yves Béziau; Alexandre Costa-Leite. (Org.). Perspectives on Universal Logic. 1 ed. Itália: Polimetrica International Scientific Publisher, 2007, v. , p. 125-157.

CARNIELLI, Walter A.. Polynomial ring calculus for many-valued logics. In B. Werner (ed.). Proceedings of the 35th International Symposium on Multiple-Valued Logic. Calgary, Canadá: IEEE Computer Society, 2005. P. 20-25.

CARNIELLI, Walter A.. Polynomizing: Logic Inference in Polynomial Format and the Legacy of Boole. Studies in Computational Intelligence. Vol. 64, p. 349-364, 2007.

AGUDELO, Juan C.; CARNIELLI, Walter A.. Unconventional models of computation through non-standard logic circuits. Lecture Notes in Computer Science. Vol. 4618. Berlin: Springer, p 29-40, 2007.

AGUDELO, Juan C.; CARNIELLI, Walter A.. Polynomial ring calculus for modal logics: a new semantics and proof method for modalities. CLE e-Prints. Vol.9(4), 2009.

CORCORAN, John. Aristotle’s Prior Analytics and Boole’s Laws of Thought. History and Philosophy of Logic 24, p.261-288, 2003.

NILSSON, N. J.. Probabilistic logic. Artificial Intelligence. Vol. 28(1), p 71-87, 1986.

NILSSON, N. J.. Probabilistic logic revisited. Artificial Intelligence. Vol. 59(1), p.39-42, 1993.

POLI, R.; RYAN, M.; SLOMAN, A.. A new continuous propositional logic. In C. Pinto-Ferreira and N. J. Mamede (ed.). Proceedings of 7th Portuguese Conference on Artificial Intelligence. Madeira Island: EPIA '95, 990 in Lecture Notes in Artificial Intelligence Funchal, 1995. p. 17-28.

NGUYEN, Hung T.; WALKER, Elbert. A first course in fuzzy logic. CRC Press. 2006.

HÁJEK, Petr. Metamathematics of Fuzzy Logic. Berlin: Springer. 1998.

ZIMMERMANN, Hans-Jürgen. Fuzzy Set Theory and Its Applications. Berlin: Springer. 2001.

HALMOS, Paul; GIVANT, Steven. Logic as Algebra. Dolciani Mathematical Expositions 21. The Mathematical Association of America. 1998.

RICHE, Jacques. From Universal Algebra to Universal Logic. In: Jean-Yves Béziau; Alexandre Costa-Leite (eds.). Perspectives on Universal Logic. Itália: Polimetrica Publisher. p.3-39, 2007.

JENSEN, Christian U.; LENZING, Helmt. Model Theoretic Algebra: with Particular Emphasis on Fields, Rings, Modules. Algebra, Logic and Applications. Vol. 2. Amsterdan: Gordon and Breach Science Publishers, 1989.

MATULOVIC, Mariana. Demonstrações na Algibeira: Polinômios como um Método Universal de Prova. Campinas, SP: [s.n.], 2013. Orientador: Walter Alexandre Carnielli. Tese (doutorado) – Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas.

Downloads

Publicado

2013-12-19

Edição

Seção

Artigos