|
|
|
Augusto José Franco Oliveira
|
| |
|
|
|
Áreas de investigação
- Lógica
- Filosofia da Matemática
- Fundamentos da Matemática
- Professor Associado convidado da FCUL
Serviço docente
Graus académicos
- 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)
- Doutor em Matemática (Área de "Álgebra,
Lógica e Fundamentos") pela Universidade
de Lisboa (1990)
|
|
|
projectos mais recentes
Livros (selecção)
- Lógica e Aritmética, Uma Introdução Informal aos Métodos
Formais, Gradiva, 1991; segunda edição revista e ampliada,
1996.
- Geometria Euclidiana, Universidade Aberta, 1995
- 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.
- (Em colaboração com Imme van den Berg) Matemática
Não-Standard, Introdução com Aplicações. Fundação Calouste
Gulbenkian, 2007.
Capítulos em livros e artigos (selecção)
- «Teoremas de Impossibilidade: marcos milenários da história
Matemática», Episteme, Ano IV, Nos. 10-12, 2.ª série,
307-313 (publicado 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.
- «Brevíssimo panorama da Lógica moderna» (Escola de Verão da
Setembro de 2007), a publicar num número especial do Boletim da
SPM.
|
|
