Sara Negri - Sara Negri

Sara Negri (narozen 21. ledna 1967)[1] je matematický logik kdo studuje teorie důkazů Je Italka, několik let pracovala ve Finsku, kde působila jako profesorka teoretické filozofie v University of Helsinki, a v současné době zastává pozici profesora matematická logika na Univerzita v Janově.[2]

Vzdělání a kariéra

Negri se narodil v Padova,[1] a studoval na Univerzita v Padově. Získala tam magisterský titul v roce 1991 a titul Ph.D. v roce 1996, a to jak v matematice.[3] Její disertační práce, Dalla Topologia Formale all'Analisi, byl pod dohledem Giovanni Sambin.[4]

V roce 1998 odjela do Helsinek jako docentka a v roce 2015 se tam stala řádnou profesorkou. Přijala také několik hostujících pozic,[3] včetně a Humboldtovo společenství v letech 2004–2005 na Ludwig Maximilian University v Mnichově.[3][5] Stala se řádnou profesorkou matematické logiky na Univerzita v Janově, v Itálie v roce 2019.

Uznání

Negri byl zvolen do Academia Europaea v roce 2018.[6]

Knihy

Negri je spolu s Janem Platonem spoluautorem dvou knih:

  • Teorie strukturálních důkazů (Cambridge University Press, 2001)[7]
  • Důkazová analýza: Příspěvek k poslednímu problému Hilberta (Cambridge University Press, 2011)[8]

Reference

  1. ^ A b „Sara Negri“, 375 humanistů, Filozofická fakulta, Helsinská univerzita, vyvoláno 2018-02-28
  2. ^ Seznam univerzitních pracovníků, Květen 2020, vyvoláno 2020-05-16
  3. ^ A b C Životopis (PDF), Září 2017, vyvoláno 2018-02-28
  4. ^ Sara Negri na Matematický genealogický projekt
  5. ^ Negri, Sara (2009), „Sám mezi muži“, Humboldt Kosmos, Nadace Alexandra von Humboldta, vyvoláno 2018-02-28
  6. ^ „Sara Negri“, Profily členů, Academia Europaea, vyvoláno 2020-10-08
  7. ^ Recenze Teorie strukturálních důkazů:
  8. ^ Recenze Důkazní analýza:


externí odkazy