Juliette Kennedy

Juliette Kennedy is an associate professor in the Department of Mathematics and Statistics at the University of Helsinki. Her main research interests are mathematical logic and the foundations of mathematics. In the course of her work she has published extensively on the works of Kurt Gödel.

Juliette Kennedy
Alma materCity University of New York
Scientific career
Fieldsmathematical logic, set theory, foundations of mathematics, philosophy of mathematics, Kurt Gödel
InstitutionsHelsinki University
ThesisOn Embedding Models of Arithmetic into Reduced Powers[1] (1996)
Doctoral advisorAttila Mate

Education and career

Kennedy is an associate professor in the Department of Mathematics and Statistics at the University of Helsinki.[2]:xv

Research areas

Kennedy's research at the University of Helsinki focuses on mathematical logic in the area of set-theoretic model theory and set theory. In the course of her mathematical work she also researches the history of mathematics and the foundations of mathematics. In this context she has sustained an extensive project to place the works of Kurt Gödel in its historical and foundational context.[2]:xv In 2017 she published her research on the interplay between the works of Alan Turing and that of Gödel, who in 1956 defined the P versus NP problem in a letter to John von Neumann.[2]:14

Books

Kennedy and Roman Kossak are the editors of Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies, published as Book 36 in the series Lecture Notes in Logic in 2012 by Cambridge University Press.[3]

Kennedy is the editor of Interpreting Gödel: Critical Essays, published in 2014 by Cambridge University Press and reprinted in 2017. In the book Kennedy brought together leading contemporary philosophers and mathematicians to explore the impact of Gödel's work on the foundations and philosophy of mathematics. The logician Kurt Gödel has in 1931 formulated the incompleteness theorems, which among other things prove that within any formal system with resources sufficient to code arithmetic, questions exist which are neither provable nor disprovable on the basis of the axioms which define the system.[4]

gollark: https://http.cat/A great resource for HTTP status codes.
gollark: Real men don't use notepad! They just flip switches connected to their hard drive's connector very fast.
gollark: Honestly, you spoiled kids and your "deobfuscation".
gollark: That's ridiculous. Just decompile the minecraft JAR, edit some bits, and recompile it.
gollark: `udderly amoosing` is a link to the page for Pun.

References
  1. Juliette Kennedy at the Mathematics Genealogy Project
  2. Juliet Floyd; Alisa Bokulich, eds. (2017). Philosophical Explorations of the Legacy of Alan Turing: Turing 100. Springer. ISBN 9783319532806.
  3. ""Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies" Juliette Kennedy & Roman Kossak (eds.) Cambridge University Press (2012)". PhilPapers.
  4. ""Interpreting Gödel: Critical Essays" Juliette Kennedy (ed.) Cambridge: Cambridge University Press (2014)". PhilPapers.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.