| CFCUL member webpage | |||||
 |
Augusto Franco Oliveira
|
||||
|
|
|||||
| 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) | |||||
| Situação actual no CFCUL | |||||
 |
|
|
|
|
|
| Head do grupo de investigação Filosofia da Matemática | |||||
|
|
|
|
|
|
|
|
Áreas de Interesse |
|||||
|
|
|
|
|
|
|
|
Lógica Fundamentos da Matemática Filosofia da Matemática |
|||||
|
|
|
|
|
|
|
| PUBLICAÇÕES (selecção) | |||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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 | |||||
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
| Página Pessoal: http://sites.google.com/site/tutasplace/ | |||||
|
|
|
|
|
|
|
 
 |
|||||