WikiDer > Сара Негри
Сара Негри (1967 жылы 21 қаңтарда туған)[1] Бұл математикалық логик кім оқиды дәлелдеу теориясы.Ол итальяндық, Финляндияда бірнеше жыл жұмыс істеген, онда теориялық философияның профессоры болған Хельсинки университетіжәне қазіргі уақытта профессор лауазымын атқарады математикалық логика кезінде Генуя университеті.[2]
Білім және мансап
Негри дүниеге келді Падуа,[1] және оқыды Падуа университеті. Ол онда 1991 жылы магистр дәрежесін алды және Ph.D. 1996 ж., екеуі де математикада.[3] Оның диссертациясы, Dalla Topologia Formale all'Analisi, Джованни Самбин басқарды.[4]
Ол 1998 жылы Хельсинки қаласына доцент ретінде барды, ал 2015 жылы толық профессор болды. Сонымен қатар бірнеше келуші лауазымдарда болды,[3] оның ішінде а Гумбольдт стипендиясы 2004-2005 жж Мюнхендегі Людвиг Максимилиан университеті.[3][5] Ол математикалық логиканың толық профессоры болды Генуя университеті, жылы Италия, 2019 жылы.
Тану
Негри сайланды Academia Europaea 2018 жылы.[6]
Кітаптар
Негри - Ян фон Платонмен бірге екі кітаптың авторы:
- Құрылымдық дәлелдеу теориясы (Кембридж университетінің баспасы, 2001)[7]
- Дәлелді талдау: Гильберттің соңғы мәселесіне қосқан үлесі (Cambridge University Press, 2011)[8]
Әдебиеттер тізімі
- ^ а б «Сара Негри», 375 гуманистер, Өнер факультеті, Хельсинки университеті, алынды 2018-02-28
- ^ Университеттің кадрлық тізімі, Мамыр 2020, алынды 2020-05-16
- ^ а б в Түйіндеме (PDF), Қыркүйек 2017 ж, алынды 2018-02-28
- ^ Сара Негри кезінде Математика шежіресі жобасы
- ^ Негри, Сара (2009), «Ерлер арасында жалғыз», Гумбольдт Космос, Александр фон Гумбольдт атындағы қор, алынды 2018-02-28
- ^ «Сара Негри», Мүше профильдері, Academia Europaea, алынды 2020-10-08
- ^ Пікірлер Құрылымдық дәлелдеу теориясы:
- Ясухара, М. (2002), Математикалық шолулар, МЫРЗА 1841217CS1 maint: атаусыз мерзімді басылым (сілтеме)
- Ходес, Гарольд Т. (сәуір 2006), Философиялық шолу, 115 (2): 255–258, дои:10.1215/00318108-2005-019, JSTOR 20446902CS1 maint: атаусыз мерзімді басылым (сілтеме)
- ^ Пікірлер Дәлелді талдау:
- Ясухара, М., zbMATH, Zbl 1247.03001CS1 maint: атаусыз мерзімді басылым (сілтеме)
- Инджейчак, Анджей Б., Математикалық шолулар, МЫРЗА 3136234CS1 maint: атаусыз мерзімді басылым (сілтеме)
- Поггиолеси, Ф. (2013), Логика тарихы мен философиясы, 34 (1): 98–99, дои:10.1080/01445340.2012.735805, S2CID 120172922CS1 maint: атаусыз мерзімді басылым (сілтеме)
Сыртқы сілтемелер
- Сара Негри индекстелген басылымдар Google Scholar
