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. "Das Máquinas Matemáticas Na Antiguidade ao Computador Ideal", O Colégio Militar 237, Set. 2015-Fev. 2016, 43-50.
  2. «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.
  3. «Kurt Gödel, Viena», Boletim da Sociedade Portuguesa de Matemática (2006), 25-38.
  4. «Formalismo hilbertiano vs. pensamento intuitivo», Boletim da Sociedade Portuguesa de Matemática 52 (2005), 1-25.
  5. «Fernando de Almeida Loureiro e Vasconcelos (1874-1944) - coronel, matemático e historiador», Gazeta de Matemática 148 (2005), 34-38.
  6. Teoremas de Impossibilidade: marcos milenários da história Matemática», Episteme, Ano IV, Nos. 10-12, 2.ª série, 307-313 (publicado 2004).
  7. «Descartes, geómetra acidental», Educação e Matemática, 41 (Janeiro/Fevereiro de 1997), 3-7, 47
  8. «Variation on a theme by Reeb», Rencontre Européenne d'Analyse Non Standard, CIRM, Luminy, 29 Juin-3 Juillet, 1992
  9. Lógica e Aritmética, Uma Introdução Informal aos Métodos Formais, Gradiva, 1991; segunda edição revista e ampliada, 1996.
  10. 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é

Reuniões Científicas || Scientific Meetings

Comunicações / Talks
  1. "Hilbert on Foundations: plan for na anthology", Third Lisbon International Conference on Philosophy of Science, Lisbon December 14-16, 2016, under the scope of the project Hilbert's 24th Problem (PTDC/MHC-FIL/2583/2014).
  2. "José Sebastião e Silva, um lógico at heart", Comunicação ao 29º Encontro do Seminário Nacional de História da Matemática, Universidade Nova, 18 de Novembro de 2016
  3. "Das máquinas matemáticas na antiguidade ao computador ideal", palestra proferida no Colégio Militar a 9 de Dezembro de 2015.
  4. "José Sebastião e Silva e a Lógica Matemática — pioneirismo e actualidade", texto expandido de uma intervenção na Mesa Redonda "JSS no Portugal dos anos 30 e 40 do séc. XX — a matemática e a física, a lógica", no âmbito das tertúlias comemorativas do centenário do nascimento de José Sebastião e Silva. Universidade de Évora, 27 de Março de 2015.