Juliette Kennedy es profesora asociada en el Departamento de Matemáticas y Estadística de la Universidad de Helsinki . Sus principales intereses de investigación son la lógica matemática y los fundamentos de las matemáticas . En el curso de su trabajo, ha publicado extensamente sobre las obras de Kurt Gödel .
Kennedy es profesor asociado en el Departamento de Matemáticas y Estadística de la Universidad de Helsinki. [2] : XV
La investigación de Kennedy en la Universidad de Helsinki se centra en la lógica matemática en el área de la teoría de modelos de teoría de conjuntos y la teoría de conjuntos . En el curso de su trabajo matemático, también investiga la historia de las matemáticas y los fundamentos de las matemáticas . En este contexto ha sustentado un extenso proyecto para situar la obra de Kurt Gödel en su contexto histórico y fundacional. [2] : xv En 2017 publicó su investigación sobre la interacción entre las obras de Alan Turing y la de Gödel, quien en 1956 definió el problema P versus NP en una carta a John von Neumann . [2]: 14
Kennedy y Roman Kossak son los editores de Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies , publicado como Libro 36 en la serie Lecture Notes in Logic en 2012 por Cambridge University Press . [3]
Kennedy es el editor de Interpreting Gödel: Critical Essays , publicado en 2014 por Cambridge University Press y reimpreso en 2017. En el libro, Kennedy reunió a destacados filósofos y matemáticos contemporáneos para explorar el impacto del trabajo de Gödel en los fundamentos y la filosofía de las matemáticas. El lógico Kurt Gödel formuló en 1931 los teoremas de incompletud , que entre otras cosas prueban que dentro de cualquier sistema formal con recursos suficientes para codificar aritmética, existen preguntas que no son demostrables ni refutables sobre la base de los axiomas que definen el sistema. [4]