ジュリエット・ケネディ

ジュリエット・ケネディは、ヘルシンキ大学数学・統計学科の准教授である。彼女の主な研究分野は数理論理学と数学の基礎論である。これまでの研究活動の中で、クルト・ゲーデルの業績に関する論文を多数発表している。

教育とキャリア

ケネディはヘルシンキ大学数学統計学科の准教授である。^{[ 2 ]}^{： xv}

ケネディはヘルシンキ大学で、集合論的モデル理論と集合論の分野における数理論理学の研究を行っている。数学研究の過程で、数学史と数学の基礎についても研究している。この文脈において、クルト・ゲーデルの業績を歴史的・基礎的な文脈に位置づけるための大規模なプロジェクトを継続してきた。^[²^]^：^xv 2017年には、アラン・チューリングの業績とゲーデルの業績の相互作用に関する研究を発表した。ゲーデルは1956年にジョン・フォン・ノイマンへの手紙の中でP対NP問題を定義した。^[²^]^：¹⁴

ケネディとローマン・コサックは、ケンブリッジ大学出版局から2012年に出版された「論理学講義ノート」シリーズの第36巻である『集合論、算術、数学の基礎：定理、哲学』の編集者である。^[³^]

ケネディは、2014年にケンブリッジ大学出版局から出版され、2017年に再版された『ゲーデルの解釈：批判的エッセイ』の編集者である。この本の中で、ケネディは、ゲーデルの研究が数学の基礎と哲学に与えた影響を探るために、現代の主要な哲学者と数学者を集めた。論理学者のクルト・ゲーデルは、1931年に不完全性定理を定式化した。この定理は、とりわけ、算術を符号化するのに十分なリソースを持つ形式体系内には、その体系を定義する公理に基づいて証明も反証もできない問題が存在することを証明している。^[⁴^]

↑数学系譜プロジェクトのジュリエット・ケネディ
1 2 3 Juliet Floyd ; Alisa Bokulich編 (2017). Philosophical Explorations of the Legacy of Alan Turing: Turing 100. Springer. ISBN 9783319532806。
↑ "「集合論、算術、および数学の基礎：定理、哲学」ジュリエット・ケネディ＆ローマン・コサック（編）ケンブリッジ大学出版局（2012年）」 PhilPapers。
↑ "「ゲーデルの解釈：批評論文集」ジュリエット・ケネディ編、ケンブリッジ：ケンブリッジ大学出版局（2014年）。PhilPapers。