Sara Negri
| Sara Negri | |
|---|---|
| Nascimento | 1967 (57 anos) |
| Cidadania | Finlândia |
| Alma mater | |
| Ocupação | filósofa, matemática, professora universitária |
| Prêmios | |
| Empregador(a) | Universidade de Helsinque |
Sara Negri (Pádua, 21 de janeiro de 1967)[1] é uma matemática italiana, que trabalha com lógica matemática e estuda teoria da prova. Trabalhou na Finlândia diversos anos, onde foi professora de filosofia teórica na Universidade de Helsinque, sendo atualmente professora de lógica matemática na Universidade de Gênova.[2]
Formação e carreira[editar | editar código-fonte]
Negri nasceu em Pádua[1] e estudou na Universidade de Pádua, onde obteve um mestrado em 1991 e um doutorado em 1996, ambos em matemática.[3] Sua tese, Dalla Topologia Formale all'Analisi, foi orientada por Giovanni Sambin.[4]
Foi para Helsinque como docente em 1998, sendo em 2015 full professor. Foi visitante em diversos lugares,[3] incluindo a Universidade de Munique como bolsista Humboldt em 2004–2005.[3][5] Tornou-se full professor de lógica matemática na Universidade de Gênova em 2019.
Reconhecimento[editar | editar código-fonte]
Negri foi eleita para a Academia Europaea em 2018.[6]
Livros[editar | editar código-fonte]
Negri é co-autora, com Jan von Plato, de dois livros:
- Structural Proof Theory (Cambridge University Press, 2001)[7]
- Proof Analysis: A Contribution to Hilbert's Last Problem (Cambridge University Press, 2011)[8]
Referências[editar | editar código-fonte]
- ↑ a b «Sara Negri», Faculty of Arts, University of Helsinki, 375 Humanists, consultado em 28 de fevereiro de 2018
- ↑ University Personnel list, 2021, consultado em 11 de fevereiro de 2021
- ↑ a b c Curriculum vitae (PDF), Setembro 2017, consultado em 11 de fevereiro de 2021
- ↑ Sara Negri (em inglês) no Mathematics Genealogy Project
- ↑ Negri, Sara (2009), «Alone Amongst Men», Alexander von Humboldt Foundation, Humboldt Kosmos, consultado em 11 de fevereiro de 2021
- ↑ «Sara Negri», Academia Europaea, Member profiles, consultado em 11 de fevereiro de 2021
- ↑ Reviews of Structural Proof Theory:
- Yasuhara, M. (2002), «none», Mathematical Reviews, MR 1841217
- Hodes, Harold T. (Abril 2006), «none», The Philosophical Review, 115 (2): 255–258, JSTOR 20446902, doi:10.1215/00318108-2005-019
- ↑ Reviews of Proof Analysis:
- Yasuhara, M., «none», zbMATH, Zbl 1247.03001
- Indrzejczak, Andrzej B., «none», Mathematical Reviews, MR 3136234
- Poggiolesi, F. (2013), «none», History and Philosophy of Logic, 34 (1): 98–99, doi:10.1080/01445340.2012.735805
Ligações externas[editar | editar código-fonte]
- Sara Negri, publicações indexadas pelo Google Scholar
