WikiDer > Джульетта Кеннеди
Джульетта Кеннеди | |
|---|---|
| Альма-матер | Городской университет Нью-Йорка |
| Научная карьера | |
| Поля | математическая логика, теория множеств, основы математики, философия математики, Курт Гёдель |
| Учреждения | Хельсинкский университет |
| Тезис | О вложении моделей арифметики в приведенные степени[1] (1996) |
| Докторант | Аттила Мате |
Джульетта Кеннеди доцент кафедры математики и статистики Университет Хельсинки. Ее основные научные интересы: математическая логика и основы математики. В ходе своей работы она много публиковала о работах Курт Гёдель.
Образование и карьера
Кеннеди - доцент кафедры математики и статистики Хельсинкского университета.[2]:xv
Области исследований
Кеннеди в Университете Хельсинки фокусируется на математическая логика в области теоретико-множественной теории моделей и теория множеств. В ходе своей математической работы она также исследует история математики и основы математики. В этом контексте она реализовала обширный проект по размещению работ Курт Гёдель в его историческом и фундаментальном контексте.[2]:xv В 2017 году она опубликовала свое исследование о взаимодействии произведений Алан Тьюринг и Гёделя, который в 1956 г. P против проблемы NP в письме к Джон фон Нейман.[2]:14
Книги
Кеннеди и Роман Коссак - редакторы Теория множеств, арифметика и основы математики: теоремы, философии, опубликованная как Книга 36 в серии Конспект лекций по логике в 2012 г. Издательство Кембриджского университета.[3]
Кеннеди - редактор Интерпретация Гёделя: критические эссе, опубликовано в 2014 г. Издательство Кембриджского университета и переиздан в 2017 году. В книге Кеннеди собрал ведущих современных философов и математиков, чтобы изучить влияние работ Гёделя на основы и философию математики. Логик Курт Гёдель сформулировал в 1931 г. теоремы о неполноте, которые, среди прочего, доказывают, что в любой формальной системе с ресурсами, достаточными для кодирования арифметики, существуют вопросы, которые нельзя ни доказать, ни опровергнуть на основе аксиомы которые определяют систему.[4]
Рекомендации
- ^ Джульетта Кеннеди на Проект "Математическая генеалогия"
- ^ а б c Джульет Флойд; Алиса Бокулич, ред. (2017). Философские исследования наследия Алана Тьюринга: Тьюринг 100. Springer. ISBN 9783319532806.
- ^ ""Теория множеств, арифметика и основы математики: теоремы, философии "Джульетт Кеннеди и Роман Коссак (редакторы) Cambridge University Press (2012)". PhilPapers.
- ^ ""Interpreting Gödel: Critical Essays "Juliette Kennedy (ed.) Cambridge: Cambridge University Press (2014)". PhilPapers.
