Augusto J. Franco Oliveira

Bio | Situação no CFCUL | Produção Científica | CV

FOTO 150x150px

Bio || Bio

Augusto J. Franco de 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.

Áreas de Interesse || Current Research

  1. Lógica
  2. Fundamentos da Matemática
  3. Filosofia da Matemática

Situação no CFCUL || Position at the CFCUL

Membro Integrado Doutorado



Grupos de Investigação || Research Groups

Epistemologia e Metodologia (Membro)

Filosofia da Matemática (Head) - Concluído

Área de Investigação Filosofia da Matemática (Head)

 

Linhas Temáticas || Thematic Lines

Unidade da Ciência e Interdisciplinaridade (Membro)

 

 

 

Participação em Projectos || Participation in Projects

Concluídos | Concluded

Projecto FCT Poincaré, Filósofo da Ciência (Head)

Projecto interno Aproximações Filosóficas à Matemática (Head)

Projecto interno Delfim Santos e a Filosofia da Ciência em Portugal - Organização, Reprodução e Estudo do Acervo Documental Inédito (Membro)


Contactos || Contacts

Campo Grande, C4.3.24 - 1749-016 Lisboa, Portugal

+351 217 500 000 (Ext. 24322)

ajfrancoli@gmail.com

 

Página Pessoal

https://sites.google.com/site/tutasplace/

 

ORCID

0000-0003-2456-2481

Produção Científica (Selecção) || Scientific Production (Selection)

Publicações || Publications

Livros / Books
  1. Geometrias, Edição de autor, Un. Évora, 2004.
  2. Lógica e Aritmética, Editora Universidade de Brasília, Brasília, 2004.
  3. Sistemas Dedutivos, Edição de autor, Un. Évora, 2004
  4. Transformações Geométricas, Universidade Aberta, 1997.
  5. 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).
  6. Geometria Euclidiana, Universidade Aberta, 1995
Capítulos de Livros / Book Chapters
  1. «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. (Em colaboração com Imme van den Berg) Matemática Não-Standard, Introdução com Aplicações. Fundação Calouste Gulbenkian, 2007.
  2. «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.
Artigos / Articles
  1. «Os Lógicos de Letras (Vieira de Almeida, Edmundo Curvelo, Manuel Lourenço)», Kairos, Revista de Filosofia e Ciência n.º1 (Novembro de 2010), pp. 121-128.
  2. «Kurt Gödel, Viena», Boletim da Sociedade Portuguesa de Matemática (2006), 25-38.
  3. «Formalismo hilbertiano vs. pensamento intuitivo», Boletim da Sociedade Portuguesa de Matemática 52 (2005), 1-25.
  4. «Fernando de Almeida Loureiro e Vasconcelos (1874-1944) - coronel, matemático e historiador», Gazeta de Matemática 148 (2005), 34-38.
  5. Teoremas de Impossibilidade: marcos milenários da história Matemática», Episteme, Ano IV, Nos. 10-12, 2.ª série, 307-313 (publicado 2004).
  6. «Descartes, geómetra acidental», Educação e Matemática, 41 (Janeiro/Fevereiro de 1997), 3-7, 47
  7. «Variation on a theme by Reeb», Rencontre Européenne d'Analyse Non Standard, CIRM, Luminy, 29 Juin-3 Juillet, 1992
  8. Lógica e Aritmética, Uma Introdução Informal aos Métodos Formais, Gradiva, 1991; segunda edição revista e ampliada, 1996.
  9. O Advento da Matemática Não-Standard, Monografias da Soc. Paranaense de Matemática, N. 8, Abril de 1990
Actas / Proceedings
  1. 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.
Traduções / Translations
  1. A Lógica do Infinito, por Henri Poincaré