Juliette Kennedy is an associate professor in the Department of Mathematics and Statistics at the

University of Helsinki The University of Helsinki ( fi, Helsingin yliopisto, sv, Helsingfors universitet, abbreviated UH) is a public research university located in Helsinki, Finland since 1829, but founded in the city of Turku (in Swedish ''Åbo'') in 1640 as the ...

. Her main research interests are

mathematical logic Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal ...

and the

foundations of mathematics Foundations of mathematics is the study of the philosophical and logical and/or algorithmic basis of mathematics, or, in a broader sense, the mathematical investigation of what underlies the philosophical theories concerning the nature of mathe ...

. In the course of her work she has published extensively on the works of Kurt Gödel.

Education and career

Kennedy is an associate professor in the Department of Mathematics and Statistics at the University of Helsinki.

Research areas

Kennedy's research at the University of Helsinki focuses on

in the area of set-theoretic model theory and

set theory Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly conce ...

. In the course of her mathematical work she also researches the

history of mathematics The history of mathematics deals with the origin of discoveries in mathematics and the mathematical methods and notation of the past. Before the modern age and the worldwide spread of knowledge, written examples of new mathematical developments ...

and the

. In this context she has sustained an extensive project to place the works of Kurt Gödel in its historical and foundational context. In 2017 she published her research on the interplay between the works of

Alan Turing Alan Mathison Turing (; 23 June 1912 – 7 June 1954) was an English mathematician, computer scientist, logician, cryptanalyst, philosopher, and theoretical biologist. Turing was highly influential in the development of theoretical co ...

and that of Gödel, who in 1956 defined the

P versus NP problem The P versus NP problem is a major unsolved problem in theoretical computer science. In informal terms, it asks whether every problem whose solution can be quickly verified can also be quickly solved. The informal term ''quickly'', used above ...

in a letter to

John von Neumann John von Neumann (; hu, Neumann János Lajos, ; December 28, 1903 – February 8, 1957) was a Hungarian-American mathematician, physicist, computer scientist, engineer and polymath. He was regarded as having perhaps the widest cove ...

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 Cambridge University Press is the university press of the University of Cambridge. Granted letters patent by King Henry VIII in 1534, it is the oldest university press in the world. It is also the King's Printer. Cambridge University Pre ...

. Kennedy is the editor of ''Interpreting Gödel: Critical Essays'', published in 2014 by

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 Complete may refer to: Logic * Completeness (logic) * Completeness of a theory, the property of a theory that every formula in the theory's language or its negation is provable Mathematics * The completeness of the real numbers, which implies t ...

, 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 An axiom, postulate, or assumption is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments. The word comes from the Ancient Greek word (), meaning 'that which is thought worthy or f ...

which define the system.

References

External links

Publication list
at

DBLP DBLP is a computer science bibliography website. Starting in 1993 at Universität Trier in Germany, it grew from a small collection of HTML files and became an organization hosting a database and logic programming bibliography site. Since Novem ...

{{DEFAULTSORT:Kennedy, Juliette Living people Women mathematicians Mathematical logicians Women logicians University of Helsinki Year of birth missing (living people)