dos Arithmetices Principia Nova Methodo Exposita (1889) de Giuseppe Peano.
Em sua obra “Arithmetices Principia Nova Methodo Exposita”, publicada em 1889, Giuseppe Peano (1858 – 1932) apresenta sua primeira tentativa de axiomatizar um ramo da Matemática em linguagem simbólica. Nesta obra, aparecem pela primeira vez os chamados Axiomas de Peano, que permitem a construção do conjunto dos números naturais. Baseado nas noções de “número”, “um”, “sucessor” e “é igual a”, Peano apresenta a reescrita da Aritmética em notação simbólica, bem como resultados concernentes a frações, aos números reais e à noção de limite. Introduz as notações que se tornariam clássicas, como os símbolos de pertinência e de implicação ou de inclusão, em um sistema notacional mais sofisticado do que os apresentados por autores anteriores. Além disso, em outras publicações, Peano trata de temas relacionados a modelos, consistência e indução. Nosso objetivo é discutir alguns pontos interessantes de sua abordagem, suas implicações matemáticas e lógicas e alguns desdobramentos posteriores.
Inscrições: https://forms.gle/JxJwGpcagBByjpVA8
Informações: academiacearensedematematica@gmail.com
Fábio Maia Bertato
Possui graduação em Matemática pela Universidade Estadual Paulista Júlio de Mesquita Filho (Unesp – 2001) e Doutorado em Filosofia pela Universidade Estadual de Campinas (Unicamp – 2008), junto ao Centro de Lógica, Epistemologia e História da Ciência (CLE – Unicamp). Atualmente é Pesquisador, Membro e Diretor Associado do Centro de Lógica, Epistemologia e História da Ciência (CLE – Unicamp) na área de Epistemologia e História da Ciência. É membro da Sociedade Brasileira de História da Matemática (SBHMat) e da Sociedade Brasileira de Lógica (SBL). Outras atividades: Editor Associado da Coleção CLE (https://www.cle.unicamp.br/index.php/colecao-cle), Managing Editor da Revista Brasileira de História da Matemática (RBHM – http://www.rbhm.org.br/), Membro do Conselho Científico do Centro de Lógica, Epistemologia e História da Ciência (CLE – Unicamp), Coordenador-Adjunto e Gestor do Núcleo de Epistemologia do Instituto de Formação e Educação de Campinas (IFE Campinas – http://ifecampinas.org.br/) e Coordenador Principal do CCFT Working Group (http://bertato.wix.com/ccft). Possui experiência na área de Matemática, com ênfase em Lógica, atuando principalmente nos seguintes temas: Matemática, Lógica Matemática, História e Filosofia da Matemática, Ensino de Matemática, História da Ciência, Sistêmica, Ontologia Formal, Filosofia e Lógica da Religião.
Endereço Lattes: http://lattes.cnpq.br/5489913728031899