ジュリエット・ケネディ
ジュリエット・ケネディ | |
|---|---|
| 母校 | ニューヨーク市立大学 |
| 科学者としてのキャリア | |
| フィールド | 数理論理学、集合論、数学の基礎、数学の哲学、クルト・ゲーデル |
| 機関 | ヘルシンキ大学 |
| 論文 | 算術モデルの縮約べき乗への埋め込みについて[ 1 ] (1996) |
| 博士課程の指導教員 | アッティラ・マテ |
ジュリエット・ケネディは、ヘルシンキ大学数学・統計学部の准教授です。彼女の主な研究分野は数理論理学と数学の基礎です。研究の過程で、クルト・ゲーデルの著作に関する多数の論文を発表しています。
教育とキャリア
ケネディはヘルシンキ大学数学・統計学部の准教授である。[ 2 ]：xv
研究分野
ケネディはヘルシンキ大学で、集合論的モデル理論と集合論の分野における数理論理学に焦点を当てて研究を行っている。数学の研究の過程で、彼女は数学の歴史と数学の基礎についても研究している。この文脈で、彼女はクルト・ゲーデルの著作をその歴史的かつ基礎的な文脈に位置付けるための大規模なプロジェクトを持続させてきた。[ 2 ]：xv 2017年に彼女は、アラン・チューリングの著作と、1956年にジョン・フォン・ノイマンへの手紙の中でP対NP問題を定義したゲーデルの著作との相互作用に関する研究を発表した。[ 2 ]：14
本
ケネディとローマン・コサックは、 2012年にケンブリッジ大学出版局から論理学講義ノートシリーズの第36巻として出版された『集合論、算術、数学の基礎：定理、哲学』の編集者である。[ 3 ]
ケネディ氏は、2014年にケンブリッジ大学出版局から出版され、2017年に再版された『ゲーデル解釈：批評論文』の編集者である。この本で、ケネディ氏は現代の一流哲学者と数学者を集め、ゲーデルの研究が数学の基礎と哲学に与えた影響を探った。論理学者クルト・ゲーデルは1931年に不完全性定理を定式化した。これは、算数をコード化するのに十分なリソースを持つあらゆる形式体系においては、その体系を定義する公理に基づいては証明も反証もできない疑問が存在することを証明している。[ 4 ]
参考文献
- ^数学系譜プロジェクトのジュリエット・ケネディ
- ^ a b cジュリエット・フロイド、アリサ・ボクリッチ編 (2017). 『アラン・チューリングの遺産の哲学的探究：チューリング100年』 シュプリンガー. ISBN 9783319532806。
- ^ "「集合論、算術、数学の基礎：定理と哲学」ジュリエット・ケネディ＆ローマン・コサック（編）ケンブリッジ大学出版局（2012年）。PhilPapers。
- ^ "「ゲーデルの解釈：批評論文」ジュリエット・ケネディ編、ケンブリッジ：ケンブリッジ大学出版局（2014年）。PhilPapers。
外部リンク
