Julietta Kennedy

Julietta Kennedy
Alma Mater	Miejski Uniwersytet Nowego Jorku
Kariera naukowa
Pola	logika matematyczna , teoria mnogości , podstawy matematyki , filozofia matematyki , Kurt Gödel
Instytucje	Uniwersytet Helsiński
Praca dyplomowa	O osadzeniu modeli arytmetyki w potęgach zredukowanych (1996)
Doradca doktorski	Attila Mate

Juliette Kennedy jest profesorem nadzwyczajnym na Wydziale Matematyki i Statystyki Uniwersytetu Helsińskiego . Jej główne zainteresowania badawcze to logika matematyczna i podstawy matematyki . W trakcie swojej pracy wydała obszerne publikacje na temat twórczości Kurta Gödla .

Edukacja i kariera

Kennedy jest profesorem nadzwyczajnym na Wydziale Matematyki i Statystyki Uniwersytetu Helsińskiego.

Obszary badawcze

Badania Kennedy'ego na Uniwersytecie w Helsinkach koncentrują się na logice matematycznej w obszarze teorii mnogości teorii modeli i teorii mnogości . W ramach swojej pracy matematycznej zajmuje się również historią matematyki i podstawami matematyki . W tym kontekście wspierała szeroko zakrojony projekt umieszczenia dzieł Kurta Gödla w kontekście historycznym i fundamentalnym. W 2017 roku opublikowała swoje badania dotyczące wzajemnego oddziaływania prac Alana Turinga i Gödla, który w 1956 roku zdefiniował Problem P kontra NP w liście do Johna von Neumanna .

Książki

Kennedy i Roman Kossak są redaktorami książki Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies , opublikowanej jako Księga 36 w serii Lecture Notes in Logic w 2012 roku przez Cambridge University Press .

Kennedy jest redaktorem książki Interpreting Gödel: Critical Essays , opublikowanej w 2014 r. przez Cambridge University Press i wznowionej w 2017 r. W książce Kennedy zgromadził czołowych współczesnych filozofów i matematyków, aby zbadać wpływ pracy Gödla na podstawy i filozofię matematyki. Logik Kurt Gödel sformułował w 1931 r. twierdzenia o niezupełności , które między innymi dowodzą, że w każdym systemie formalnym dysponującym zasobami wystarczającymi do kodowania arytmetyki istnieją pytania, których nie da się ani udowodnić, ani obalić na podstawie aksjomaty definiujące system.

Linki zewnętrzne

• Lista publikacji w DBLP