Augusto Franco Oliveira

 email: francoli@kqnet.pt   /  ajfrancoli@gmail.com

Augusto José Franco Oliveira é licenciado em Ciências Matemáticas pela Faculdade de Ciências da Universidade de Lisboa (1967), "Master of Science" ("Lógica Matemática") pela Universidade de Leeds, Inglaterra (1974) e  Doutor em Matemática (Área de "Álgebra, Lógica e Fundamentos") pela Universidade de Lisboa (1990). É Professor Emérito do Departamento de Matemática da Universidade de Évora, desde 29 de Janeiro de 1998. É Membro Integrado do CFCUL, head do Grupo de Investigação «Filosofia da Matemática» e head do projecto FCT Poincaré Filósofo da Ciência. (Curriculum Vitae)

Áreas de interesse:

• Lógica
• Fundamentos da Matemática
• Filosofia da Matemática

Principais Publicações:

•  O Advento da Matemática Não-Standard, Monografias da Soc. Paranaense de Matemática, N. 8, Abril de 1990
• «Anastácio da Cunha e a Metafísica do Cálculo», Actas Colóquio Anastácio da Cunha, O Matemático e o Poeta, IN-CM, Lisboa, l990, 107–124.
•  Lógica e Aritmética, Uma Introdução Informal aos Métodos Formais, Gradiva, 1991; segunda edição revista e ampliada, 1996.
•  «Variation on a theme by Reeb», Rencontre Européenne d'Analyse Non Standard, CIRM, Luminy, 29 Juin-3 Juillet, 1992
• Geometria Euclidiana, Universidade Aberta, 1995
• «Descartes, geómetra acidental», Educação e Matemática, 41 (Janeiro/Fevereiro de 1997), 3-7, 47
• Transformações Geométricas, Universidade Aberta, 1997.
• Geometria para o 10.º ano (Guia) (em colaboração com Cristina Loureiro, Elfira Ralha e Rita Bastos), Departamento do Ensino Secundário, Ministério Educação, 1997. Idem para o 11.º (1998) e Trigonometria e Números Complexos para o 12º ano (2000) (col. também com Jorge Nuno Silva).
• «Teoremas de Impossibilidade: marcos milenários da história Matemática», Episteme, Ano IV, Nos. 10-12, 2.ª série, 307-313 (publicado 2004).
• Geometrias, Edição de autor, Un. Évora, 2004.
• Lógica e Aritmética, Editora Universidade de Brasília, Brasília, 2004.
• Sistemas Dedutivos, Edição de autor, Un. Évora, 2004.
• «Fernando de Almeida Loureiro e Vasconcelos (1874-1944) - coronel, matemático e historiador», Gazeta de Matemática 148 (2005), 34-38.
• «Formalismo hilbertiano vs. pensamento intuitivo», Boletim da Sociedade Portuguesa de Matemática 52 (2005), 1-25.
•  «Introdução à Lógica de Curvelo», em Cartas de Edmundo Curvelo Joaquim de Carvalho (1947-1953) e outros inéditos, Edição e introdução por J. Franco de Oliveira, Cadernos de Filosofia das Ciências 1, Centro de Filosofia das Ciências da Universidade de Lisboa, 2005, 11-66.
• «Kurt Gödel, Viena», Boletim da Sociedade Portuguesa de Matemática (2006), 25-38.
• (Em colaboração com Imme van den Berg) Matemática Não-Standard, Introdução com Aplicações. Fundação Calouste Gulbenkian, 2007.
• «Brevíssimo panorama da Lógica moderna», in N. Franco e Sandra Vinagre (eds.), Escola de Verão - Setembro de 2007, Universidade de Évora e SPM, Julho de 2008.

Neste site:

• Poincaré A Lógica do Infinito (pdf)
• Brevíssimo Panorama da Lógica Moderna (pdf)
• Formalismo Hilbertiano vs Pensamento Intuitivo (pdf)
• Os Lógicos de Letras (pdf)
   

Página Pessoal: http://sites.google.com/site/tutasplace/

Início / Home