???global.info.a_carregar???
Identificação

Identificação pessoal

Nome completo
Fernando Jorge Inocêncio Ferreira

Nomes de citação

  • Ferreira, Fernando

Identificadores de autor

Ciência ID
851A-01E2-5608
ORCID iD
0000-0002-8693-7210

Endereços de correio eletrónico

  • fjferreira@fc.ul.pt (Profissional)

Websites

Domínios de atuação

  • Ciências Exatas - Matemática - Matemática Pura
Formação
Grau Classificação
2005
Concluído
 Matemática (Título de Agregado)
Universidade de Lisboa Faculdade de Ciências, Portugal
"Novas Interpretações em Teoria da Demonstração" (TESE/DISSERTAÇÃO)
 Unanimidade
1988
Concluído
 Doctor of Philosophy (Doctor of Philosophy)
Penn State, Estados Unidos
"Polynomial time computable arithmetic and conservative extensions" (TESE/DISSERTAÇÃO)
 Does not apply
1981
Concluído
 Licenciatura em Matemática (Licenciatura)
Universidade de Lisboa Faculdade de Ciências, Portugal
"Quantificadores Topológicos e Aplicações" (TESE/DISSERTAÇÃO)
 19
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2012/03/15 - Atual Professor Catedrático (Docente Universitário) Universidade de Lisboa Faculdade de Ciências, Portugal
Universidade de Lisboa Faculdade de Ciências, Portugal
2001 - 2012 Professor Associado (Docente Universitário) Universidade de Lisboa Faculdade de Ciências, Portugal
Universidade de Lisboa Faculdade de Ciências, Portugal
2009/09/01 - 2009/12/31 Professor Visitante (Docente Universitário) Stanford University, Estados Unidos
Stanford University, Estados Unidos
1989 - 2001 Professor Auxiliar (Docente Universitário) Universidade de Lisboa Faculdade de Ciências, Portugal
Universidade de Lisboa Faculdade de Ciências, Portugal

Cargos e Funções

Categoria Profissional
Instituição de acolhimento 		Empregador
2020/11/16 - 2023/11/15 Head of the Math Department Universidade de Lisboa Faculdade de Ciências, Portugal
Universidade de Lisboa Faculdade de Ciências, Portugal
Projetos

Bolsa

Designação Financiadores
2012/01 - 2014/12 Online Companion to Problems of Analytical Philosophy
121209
Provided by PTCRIS: 121209
 Fundação para a Ciência e a Tecnologia, I.P.
2011/03 - 2014/08 Hilbert´s Legacy in the Philosophy of Mathematics
109991
Provided by PTCRIS: 109991
 Fundação para a Ciência e a Tecnologia, I.P.
2010/03 - 2013/07 Functional interpretations of arithmetic and analysis
Provided by PTCRIS: 104716
104716
Investigador responsável
Fundação para a Ciência e a Tecnologia, I.P.
Concluído
2005/09 - 2008/03 Content
Provided by PTCRIS: 55562
55562
82514
Provided by PTCRIS: 82514
POCI/FIL/55562/2004
Universidade de Lisboa Centro de Filosofia, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2005/03 - 2007/12 Formal systems of arithmetic and computability
61720
Provided by PTCRIS: 61720
Investigador responsável
Fundação para a Ciência e a Tecnologia, I.P.
Concluído
2002/04/01 - 2004/12/31 Sistemas fracos de aritmética. de segunda-ordem
POCTI/MAT/41019/2001
Investigador responsável
Fundação para a Ciência e a Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. Ferreira, Fernando. "On false Heine/Borel compactness principles in proof mining". Trabalho apresentado em Computability in Europe 2021. Connecting with Computability, Gent, 2021.
    Publicado • 10.1007/978-3-030-80049-9_18
  2. Ferreira, Fernando. "A short note on Spector's proof of consistency of analysis". Trabalho apresentado em Computability in Europe 2012. How the World Computes, Cambridge, 2012.
    Publicado • 10.1007/978-3-642-30870-3_22
  3. Ferreira, Fernando. "To catch one's own shadow". Trabalho apresentado em Segundo Encontro Nacional de Filosofia Analítica (ENFA 2), Oporto, 2004.
    Publicado
Artigo em revista
  1. Ferreira, Fernando. "The abstract type of the real numbers". Archive for Mathematical Logic 60 7-8 (2021): 1005-1017. http://dx.doi.org/10.1007/s00153-021-00772-9.
    10.1007/s00153-021-00772-9
  2. Ferreira, Fernando. "Bounds for indexes of nilpotency: a proof mining approach". The Bulletin of Symbolic Logic (2021): https://doi.org/10.1017/bsl.2020.48.
    10.1017/bsl.2020.48
  3. Ferreira, Fernando. "The FAN principle and weak König's lemma in herbrandized second-order arithmetic". Annals of Pure and Applied Logic (2020): http://dx.doi.org/10.1016/j.apal.2020.102843.
    10.1016/j.apal.2020.102843
  4. Ferreira, Fernando. "Weak König's lemma in herbrandized classical second-order arithmetic". Portugaliae Mathematica (2020): https//doi.org/10.4171/PM/2056.
    10.4171/PM/2056
  5. Ferreira, F.; Leustean, L.; Pinto, P.. "On the removal of weak compactness arguments in proof mining". Advances in Mathematics 354 (2019): http://www.scopus.com/inward/record.url?eid=2-s2.0-85069721227&partnerID=MN8TOARS.
    10.1016/j.aim.2019.106728
  6. Fernando Ferreira. "Categoricity and mathematical knowledge". Revista Portuguesa de Filosofia (2017): https://doi.org/10.17990/RPF/2017_73_3_1423.
    10.17990/RPF/2017_73_3_1423
  7. Ferreira, F.; Ferreira, G.. "A herbrandized functional interpretation of classical first-order logic". Archive for Mathematical Logic (2017): 1-17. http://www.scopus.com/inward/record.url?eid=2-s2.0-85019634738&partnerID=MN8TOARS.
    10.1007/s00153-017-0555-6
  8. Dinis, B.; Ferreira, F.. "Interpreting weak Konig's lemma in theories of nonstandard arithmetic". Mathematical Logic Quarterly 63 1-2 (2017): 114-123. http://www.scopus.com/inward/record.url?eid=2-s2.0-85008244072&partnerID=MN8TOARS.
    10.1002/malq.201600066
  9. Ferreira, F.; Ferreira, G.. "An elementary proof of strong normalization for atomic F". Bulletin of the Section of Logic 45 1 (2016): 1-15. http://www.scopus.com/inward/record.url?eid=2-s2.0-85012030573&partnerID=MN8TOARS.
    10.18778/0138-0680.45.1.01
  10. Cruz-Filipe, Luis; Ferreira, Fernando. "The finitistic consistency of Heck's predicative Fregean system". Notre Dame Journal of Formal Logic 56 1 (2015): 61-79. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000361516700003&KeyUID=WOS:000361516700003.
    10.1215/00294527-2835110
  11. Ferreira, Fernando; Ferreira, Gilda. "The faithfulness of Fat: a proof-theoretic proof". Studia Logica 103 6 (2015): 1303-1311. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000365220500009&KeyUID=WOS:000365220500009.
    10.1007/s11225-015-9620-5
  12. Ferreira, F.; Gaspar, J.. "Nonstandardness and the bounded functional interpretation". Annals of Pure and Applied Logic 166 6 (2015): 701-712. http://www.scopus.com/inward/record.url?eid=2-s2.0-84933182489&partnerID=MN8TOARS.
    10.1016/j.apal.2015.02.001
  13. Ferreira, F.. "A new computation of the Sigma-ordinal of KPw". Journal of Symbolic Logic 79 1 (2014): 306-324. http://www.scopus.com/inward/record.url?eid=2-s2.0-84925235217&partnerID=MN8TOARS.
    10.1017/jsl.2013.31
  14. Ferreira, F.; Ferreira, G.. "Atomic polymorphism". Journal of Symbolic Logic 78 1 (2013): 260-274. http://www.scopus.com/inward/record.url?eid=2-s2.0-84881449019&partnerID=MN8TOARS.
    10.2178/jsl.7801180
  15. Ferreira, Fernando; Ferreira, Gilda. "Interpretability in Robinson's Q". Bulletin of Symbolic Logic 19 3 (2013): 289-317. http://www.scopus.com/inward/record.url?eid=2-s2.0-85037877608&partnerID=MN8TOARS.
    10.2178/bsl.1903010
  16. Ferreira, Fernando. "On the notion of object. A logical genealogy". Disputatio 4 34 (2012): 609-624. http://dx.doi.org/10.2478/disp-2012-0023.
    10.2478/disp-2012-0023
  17. Engrácia, P.; Ferreira, F.. "The bounded functional interpretation of the double negation shift". Journal of Symbolic Logic 75 2 (2010): 759-773. http://www.scopus.com/inward/record.url?eid=2-s2.0-77954333862&partnerID=MN8TOARS.
    10.2178/jsl/1268917503
  18. Ferreira, F.. "Injecting uniformities into Peano arithmetic". Annals of Pure and Applied Logic 157 2-3 (2009): 122-129. http://www.scopus.com/inward/record.url?eid=2-s2.0-59749089559&partnerID=MN8TOARS.
    10.1016/j.apal.2008.09.004
  19. Ferreira, F.; Ferreira, G.. "Commuting conversions vs. the standard conversions of the "good" connectives". Studia Logica 92 1 (2009): 63-84. http://www.scopus.com/inward/record.url?eid=2-s2.0-67349207338&partnerID=MN8TOARS.
    10.1007/s11225-009-9186-1
  20. Ferreira, F.. "A most artistic package of a jumble of ideas". Dialectica 62 2 (2008): 205-222. http://www.scopus.com/inward/record.url?eid=2-s2.0-61449285690&partnerID=MN8TOARS.
    10.1111/j.1746-8361.2008.01134.x
  21. Ferreira, F.; Ferreira, G.. "The Riemann integral in weak systems of analysis". Journal of Universal Computer Science 14 6 (2008): 908-937. http://www.scopus.com/inward/record.url?eid=2-s2.0-44349160726&partnerID=MN8TOARS.
  22. Ferreira, F.; Ferreira, G.. "Harrington's conservation theorem redone". Archive for Mathematical Logic 47 2 (2008): 91-100. http://www.scopus.com/inward/record.url?eid=2-s2.0-45049083143&partnerID=MN8TOARS.
    10.1007/s00153-008-0080-8
  23. Ferreira, F.. "The co-ordination principles: a problem for bilateralism". Mind 117 468 (2008): 1051-1057. http://www.scopus.com/inward/record.url?eid=2-s2.0-84911393220&partnerID=MN8TOARS.
    10.1093/mind/fzn036
  24. Ferreira, F.; Oliva, P.. "Bounded functional interpretation and feasible analysis". Annals of Pure and Applied Logic 145 2 (2007): 115-129. http://www.scopus.com/inward/record.url?eid=2-s2.0-33845241473&partnerID=MN8TOARS.
    10.1016/j.apal.2006.07.002
  25. Ferreira, F.; Ferreira, G.. "Counting as integration in feasible analysis". Mathematical Logic Quarterly 52 3 (2006): 315-320. http://www.scopus.com/inward/record.url?eid=2-s2.0-33745928485&partnerID=MN8TOARS.
    10.1002/malq.200510035
  26. Ferreira, F.. "Comments on predicative logic". Journal of Philosophical Logic 35 1 (2006): 1-8. http://www.scopus.com/inward/record.url?eid=2-s2.0-33746140022&partnerID=MN8TOARS.
    10.1007/s10992-005-9001-z
  27. Ferreira, F.; Nunes, A.. "Bounded modified realizability". Journal of Symbolic Logic 71 1 (2006): 329-346. http://www.scopus.com/inward/record.url?eid=2-s2.0-33645330144&partnerID=MN8TOARS.
    10.2178/jsl/1140641178
  28. Ferreira, F.. "Amending Frege's Grundgesetze der Arithmetik". Synthese 147 1 (2005): 3-19. http://www.scopus.com/inward/record.url?eid=2-s2.0-24144439077&partnerID=MN8TOARS.
    10.1007/s11229-004-6204-8
  29. Ferreira, F.. "A simple proof of Parsons' theorem". Notre Dame Journal of Formal Logic 46 1 (2005): 83-91. http://www.scopus.com/inward/record.url?eid=2-s2.0-45049083734&partnerID=MN8TOARS.
    10.1305/ndjfl/1107220675
  30. Ferreira, F.; Oliva, P.. "Bounded functional interpretation". Annals of Pure and Applied Logic 135 1-3 (2005): 73-112. http://www.scopus.com/inward/record.url?eid=2-s2.0-22344445122&partnerID=MN8TOARS.
    10.1016/j.apal.2004.11.001
  31. Ferreira, Fernando; Wehmeier, Kai F.; Ferreira, F.; Wehmeier, K.. "On the Consistency of the A1 1-CA Fragment of Frege's Grundgesetze". Journal of Philosophical Logic 31 4 (2002): 301-311. http://dx.doi.org/10.1023/a:1019919403797.
    10.1023/a:1019919403797
  32. Fernandes, A.M.; Ferreira, Fernando. "Groundwork for weak analysis". Journal of Symbolic Logic 67 2 (2002): 557-578. http://www.scopus.com/inward/record.url?eid=2-s2.0-0036017420&partnerID=MN8TOARS.
    10.2178/jsl/1190150098
  33. Ferreira, Fernando. "On the Parmenidean Misconception". History of Philosophy and Logical Analysis 2 1 (1999): 37-49. http://dx.doi.org/10.30965/26664275-00201005.
    Publicado • 10.30965/26664275-00201005
  34. Ferreira, Fernando. "A note on finiteness in the predicative foundations of arithmetic". Journal of Philosophical Logic 28 2 (1999): 165-174. http://dx.doi.org/10.1023/a:1004377219147.
    10.1023/a:1004377219147
  35. Ferreira, Fernando. "Two general results on intuitionistic bounded theories". Mathematical Logic Quarterly 45 3 (1999): 399-407. http://dx.doi.org/10.1002/malq.19990450310.
    10.1002/malq.19990450310
  36. Ferreira, Fernando; Marques, António. "Extracting algorithms from intuitionistic proofs". Mathematical Logic Quarterly 44 2 (1998): 143-160. http://dx.doi.org/10.1002/malq.19980440202.
    10.1002/malq.19980440202
  37. Ferreira, Fernando. "A substitutional framework for arithmetical validity". Grazer Philosophische Studien 56 (1998): 133-149. http://dx.doi.org/10.5840/gps1998/99568.
    Publicado • 10.5840/gps1998/99568
  38. Ferreira, Fernando. "On end-extensions of models of ¬exp". Mathematical Logic Quarterly 42 1 (1996): 1-18. http://dx.doi.org/10.1002/malq.19960420102.
    10.1002/malq.19960420102
  39. Ferreira, Fernando. "What are the Ab1-consequences of T12 and T22?". Annals of Pure and Applied Logic 75 1-2 (1995): 79-88. http://www.scopus.com/inward/record.url?eid=2-s2.0-8744235328&partnerID=MN8TOARS.
    10.1016/0168-0072(94)00059-C
  40. Ferreira, Fernando. "A feasible theory for analysis". Journal of Symbolic Logic 59 3 (1994): 1001-1011. http://dx.doi.org/10.2307/2275924.
    10.2307/2275924
  41. Ferreira, F.. "Binary models generated by their tally part". Archive for Mathematical Logic 33 4 (1994): 283-289. http://www.scopus.com/inward/record.url?eid=2-s2.0-0001750498&partnerID=MN8TOARS.
    10.1007/BF01270627
Artigo em revista (magazine)
  1. Ferreira, Fernando. "L.E.J. Brouwer e o intuicionismo", Boletim da Sociedade Portuguesa de Matemática, 2008
  2. Ferreira, Fernando. "A matemática de Kurt Gödel", Boletim da Sociedade Portuguesa de Matemática, 2006
  3. Ferreira, Fernando. "Teoria dos conjuntos: uma vista", Boletim da Sociedade Portuguesa de Matemática, 1998
Capítulo de livro
  1. Jõao Enes; Ferreira, Fernando. "A Herbrandised interpretation of semi-intuitionistic second-order arithmetic with function variables". In Mathematics for Computation (M4C), 251-271. Singapore, Singapura: World Scientific, 2023.
    Publicado • 10.1142/9789811245220_0010
  2. Ferreira, Fernando. "Panel Discussion on the Foundations of Mathematics". In Axiomatic Thinking I, editado por Ferreira, Fernando; Kahle, Reinhard; Sommaruga, Giovanni, 193-205. Cham, Suiça: Springer International Publishing, 2022.
    Publicado • 10.1007/978-3-030-77657-2_11 • Editor
  3. Ferreira, Fernando; Engrácia, P.. "Bounded functional interpretation with an abstract type". In Contemporary Logic and Computing, 87-112. Reino Unido: College Publications, 2020.
    Publicado
  4. Ferreira, Fernando. "O problema da decisão e a máquina universal de Turing". In Alan Turing. Cientista Universal, editado por Espírito Santo, José, 55-84. Braga, Portugal: UMinho Editora, 2019.
    Publicado
  5. Ferreira, Fernando. "Hesitações na aritmética de Frege". In Seminário de Lógica no Avião (2013-2018), editado por Edgar Almeida; Alexandre Costa-Leite; Rodrigo Freire. Brasília, Brasil: UnB, 2019.
    Publicado
  6. Ferreira, Fernando. "Zigzag and Fregean Arithmetic". In The Philosophers and Mathematics. Festschrift for Roshdi Rashed, editado por Tahiri, Hassan, 81-100. Suiça: Springer, 2018.
    Publicado • 10.1007/978-3-319-93733-5_4
  7. Ferreira, Fernando. "A lógica matemática como empreendimento fundamentador". In Memórias da Academia das Ciências de Lisboa, 7-20. Lisboa, Portugal, 2018.
    Publicado
  8. Ferreira, Fernando. "On some semi-constructive theories related to Kripke-Platek set theory". In Feferman on Foundations, editado por Sieg, Wilfried; Jäger, Gerhard, 347-384. Cham, Suiça: Springer Nature, 2017.
    Publicado • 10.1007/978-3-319-63334-3_13
  9. Ferreira, Fernando; Ferreira, Gilda; Fernandes, António. "Analysis in weak systems". In Logic and Computation. Essays in Honour of Amílcar Sernadas, editado por Dionisio, Francisco; Gouveia, Paula; Mateus, Paulo; Rasga, João. London, Reino Unido: College Publications, 2017.
    Publicado
  10. Ferreira, Fernando. "Spector's proof of the consistency of analysis". In Gentzen's Centenary. The Quest for Consistency, editado por Kahle, Reinhard; Rathjen, Michael. Suiça: Springer International Publishing, 2015.
    Publicado • 10.1007/978-3-319-10103-3_11
  11. Ferreira, Fernando; Ferreira, Gilda. "The faithfulness of atomic polymorphism". In Gentzen's and Jaskowski's Heritage. 80 Years of Natural Deduction and Sequent Calculi, editado por A. Indrzejczak, J. Kaczmarek, M. Zawidzki, 55-64. Lodz, Polónia, 2014.
    Publicado
  12. Ferreira, Fernando. "Logicismo". In Compêndio em Linha de Problemas de Filosofia Analítica, editado por Santos, Ricardo; Yates, David. Portugal: Centro de Filosofia da Universidade de Lisboa, 2013.
    Publicado • 10.51427/cfi.2021.0051
  13. Fernandes, António Marques; Ferreira, Fernando; Ferreira, Gilda. "Techniques in weak analysis for conservation results". In New Studies in Weak Arithmetics, editado por Patrick Cégielski; Costas Dimitracopoulos; Charalampos Cornaros, 115-147. Estados Unidos: CSLI Publications, 2013.
    Publicado
  14. Ferreira, Fernando. "Proof interpretations and majorizability". In Logic Colloquium 2007, 32-81. Cambridge, Reino Unido: Cambridge University Press, 2010.
    Publicado • 10.1017/CBO9780511778421.005
  15. Ferreira, Fernando. "Basic applications of weak König's lemma in feasible analysis". In Reverse Mathematics 2001, editado por Simpson, Stephen. Cambridge, Reino Unido, 2005.
    Publicado • 10.1017/9781316755846.010
  16. Ferreira, Fernando. "O problema P versus NP". In 2000 Matemética Radical, editado por Ramos, Miguel; Silva, Jorge Nuno, 1-15. Lisboa, Portugal, 2002.
    Publicado
  17. Ferreira, Fernando. "A two-worlds, two-semantics interpretation of Plato's epistemology". In Greek Philosophy and Epistemology, editado por Konstantine Boudouris. Grécia: Ionia Publications, 2001.
  18. Ferreira, Fernando. "No paraíso sem convicção... Uma explicação do programa de Hilbert". In Matemática e Cultura II, editado por Coelho, J. Furtado. Lisboa, Portugal: Centro Nacional de Futura e SPB Editores, 1995.
    Publicado
  19. Ferreira, Fernando. "Lógica, filosofia e matemática". In A Cultura da Subtileza. Aspectos de Filosofia Analítica, editado por Lourenço, Manuel, 108-126. Lisboa, Portugal: Gradiva, 1995.
    Publicado
  20. Ferreira, Fernando. "Como ser sério com palavras cruzadas". In Matemática e Cultura I, editado por Coelho, J. Furtado. Lisboa, Portugal: Centro Nacional de Cultura e Publicações Cosmos, 1992.
    Publicado
  21. Ferreira, Fernando. "Stockmeyer induction". In Feasible Mathematics, editado por Buss, Samuel; Scott, P. J., 161-180. Boston, Estados Unidos: Birkhäuser Boston, 1990.
    Publicado • 10.1007/978-1-4612-3466-1_9
  22. Ferreira, Fernando. "Polynomial time computable arithmetic". In Logic and Computation, editado por Sieg, Wilfried. Estados Unidos: American Mathematical Society, 1990.
    Publicado • 10.1090/conm/106/1057819
Edição de livro
  1. Ferreira, Fernando; Kahle, Reinhard; Sommaruga, Giovanni. Axiomatic Thinking I. Cham, Suiça: Springer International Publishing. 2022.
    Publicado • 10.1007/978-3-030-77657-2 • Editor
  2. Ferreira, Fernando; Kahle, Reinhard; Sommaruga, Giovanni. Axiomatic Thinking II. Cham, Suiça: Springer International Publishing. 2022.
    Publicado • 10.1007/978-3-030-77799-9 • Editor
  3. Ferreira, Fernando; Löwe, Benedikt; Mayordomo, Elvira; Gomes, Luís Mendes. Programs, Proofs, Processes. Alemanha: Springer Berlin Heidelberg. 2010.
    Publicado • 10.1007/978-3-642-13962-8 • Editor
Edição de número de revista
  1. Ferreira, Fernando; Carbone, Alessandra; Löwe, Benedikt; Mayordomo, Elvira. "Journal of Logic and Computation special issue: Computability in Europe 2010. Programs, Proofs, Processes". Journal of Logic and Computation 25 4 (2015): https://academic.oup.com/logcom/issue/25/4.
    Publicado • https://doi.org/10.1093/logcom/exs075 • Co-editor
  2. Ferreira, Fernando; Löwe, Benedikt; Mayordomo, Elvira. "Theory of Computing Systems special issue. Computability in Europe 2010. Programs, Proofs, Processes". Theory of Computing Systems 51 3 (2012): https://link.springer.com/journal/224/volumes-and-issues/51-3.
    Publicado • 10.1007/s00224-012-9398-z
  3. Ferreira, Fernando; Hyland, Martin; Löwe, Benedikt; Mayordomo, Elvira. "Annals of Pure and Applied Logic special issue. Computability in Europe 2010. Programs, Proofs, Processes". Annals of Pure and Applied Logic 163 6 (2012): https://www.sciencedirect.com/journal/annals-of-pure-and-applied-logic/vol/163/issue/6.
    Publicado • 10.1016/j.apal.2011.10.005
  4. Ferreira, Fernando. "Kurt Gödel (1906-2006)". Boletim da Sociedade Portuguesa de Matemática 55 (2006):
    Publicado • Editor convidado
Livro
  1. Ferreira, Fernando. Princípios de Teoria dos Conjuntos. London, Reino Unido: College Publications. 2021.
    Publicado
  2. Ferreira, Fernando; André, Carlos. Matemática Finita. Lisbon, Portugal: Universidade Aberta. 2000.
    Publicado
Relatório
  1. Ferreira, Fernando. 2011. 6th Conference on Computability in Europe . Programs, Proofs, Processes. https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic/article/6th-conference-on-computability-in-europe-programs-proofs-processes/3BE3B0B5ED9B59279FED9584BA453969.
    10.2178/bsl/1309952324
Tese / Dissertação
  1. "Polynomial Time Computable Arithmetic and Conservative Extensions". Doutoramento, Penn State, 1988. https://www.proquest.com/openview/426924c3e1acc1a996541bdbd27a946f/1?pq-origsite=gscholar&cbl=18750&diss=y.
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2014 - 2019 Proof Mining with the Bounded Functional Interpretation
Orientador
 Matemática (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
2004 - 2009 Proof-theoretical Studies on the Bounded Functional Interpretation
Orientador
 Matemática (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
2003 - 2007 A Indispensabilidade da Matemática na Ciência Natural
Coorientador
 Filosofia (Doutoramento)
Universidade de Lisboa Faculdade de Letras, Portugal
2002 - 2006 Sistemas de Análise Fraca para a Integração
Orientador
 Matemática (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
1996 - 2001 Classes of Computational Complexity: Implicit Characterisations. A Study in Mathematical Logic
Orientador
 Matemática (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
1994 - 2001 Investigações em Sistemas de Análise Exequível
Orientador
 Matemática (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal

Arbitragem científica em revista

Nome da revista (ISSN) Editora
1996/12 - Atual Disputatio (0873-626X) Walter de Gruyter GmbH
2017/01/01 - 2021/12/31 The Review of Symbolic Logic (1755-0211) Cambridge University Press
2013 - 2015 Portugaliae Mathematica (0032-5155) European Mathematical Society Publishing House

Consultoria / Parecer

Descrição da atividade Instituição / Organização
2019 - Atual Member of the advisory council of "Lógica no Avião". Universidade de Brasilia Departamento de Filosofia, Brasil

Membro de comissão

Descrição da atividade
Tipo de participação 		Instituição / Organização
2012 - Atual Scientific Committee member of the series of books "Cadernos de Lógica e Computação", published by College Publications.
Membro
2003 - 2015 Steering committee member of the conference series "Logic and Computational Complexity"
Membro
Distinções

Prémio

2008 Silver Medal (finalist). Kurt Gödel Centenary Research Prize Fellowships
John Templeton Foundation, Estados Unidos

Outra distinção

2022 Membro efetivo da Academia das Ciências de Lisboa (Classe de Ciências, Secção de Matemática)
Academia das Ciências de Lisboa, Portugal
2006 Membro correspondente da Academia das Ciências de Lisboa (Classe de Ciências, Secção de Matemática)
Academia das Ciências de Lisboa, Portugal
2004 Fulbright fellowship, Harvard University
Fulbright Portugal, Portugal