Sara Negri

Sara Negri (nacida el 21 de enero de 1967) ^{[ 1 ]} es una lógica matemática que estudia la teoría de la demostración . Es italiana, trabajó en Finlandia durante varios años, donde fue profesora de filosofía teórica en la Universidad de Helsinki , y actualmente ocupa un puesto como profesora de lógica matemática en la Universidad de Génova . ^{[ 2 ]}

^Negri nació en Padua [ ^{1 ]} y estudió en la Universidad de Padua . Allí obtuvo una maestría en 1991 y un doctorado en 1996, ambos en matemáticas. ^{[ 3 ]} Su tesis doctoral, Dalla Topologia Formale all'Analisi , fue dirigida por Giovanni Sambin. ^{[ 4 ]}

Llegó a Helsinki como docente en 1998 y se convirtió en catedrática allí en 2015. También ha ocupado varios puestos de profesora visitante, ^{[ 3 ]} incluyendo una beca Humboldt en 2004 y 2005 en la LMU de Múnich . ^{[ 3 ] [ 5 ]} Se convirtió en catedrática de lógica matemática en la Universidad de Génova , en Italia , en 2019.

Negri fue elegido miembro de la Academia Europaea en 2018. ^{[ 6 ]}

Negri es coautor, junto con Jan von Plato, de dos libros:

• Teoría de la demostración estructural (Cambridge University Press, 2001) ^{[ 7 ]}
• Análisis de pruebas: una contribución al último problema de Hilbert (Cambridge University Press, 2011) ^{[ 8 ]}

• Publicaciones de Sara Negri indexadas por Google Académico