Джульетта Кеннеди
Джульетта Кеннеди | |
|---|---|
| Альма-матер | Городской университет Нью-Йорка |
| Научная карьера | |
| Поля | математическая логика , теория множеств , основания математики , философия математики , Курт Гёдель |
| Учреждения | Хельсинкский университет |
| Диссертация | О вложении моделей арифметики в приведенные степени [1] (1996) |
| Докторантура | Аттила Мате |
Джульетта Кеннеди — доцент кафедры математики и статистики Хельсинкского университета . Ее основные научные интересы — математическая логика и основы математики . В ходе своей работы она опубликовала множество публикаций о произведениях Курта Гёделя .
Образование и карьера [ править ]
Кеннеди — доцент кафедры математики и статистики Хельсинкского университета. [2] : хв
Области исследований [ править ]
Исследования Кеннеди в Хельсинкском университете сосредоточены на математической логике в области теоретико-множественной теории моделей и теории множеств . В ходе своей математической работы она также исследует историю математики и ее основы . В этом контексте она поддержала обширный проект по помещению произведений Курта Гёделя в исторический и основополагающий контекст. [2] : хв В 2017 году она опубликовала свое исследование взаимодействия работ Алана Тьюринга и Гёделя, который в 1956 году определил проблему P и NP в письме Джону фон Нейману . [2] : 14
Книги [ править ]
Кеннеди и Роман Коссак — редакторы книг «Теория множеств, арифметика и основы математики: теоремы, философия» , опубликованных в виде книги 36 в серии « Конспекты лекций по логике» в 2012 году издательством Cambridge University Press . [3]
Кеннеди является редактором книги «Интерпретация Гёделя: критические эссе» , опубликованной в 2014 году издательством Cambridge University Press и переизданной в 2017 году. В книге Кеннеди собрал ведущих современных философов и математиков, чтобы изучить влияние работы Гёделя на основы и философию математики. Логик Курт Гёдель в 1931 году сформулировал теоремы о неполноте , которые, среди прочего, доказывают, что внутри любой формальной системы с ресурсами, достаточными для кодирования арифметики, существуют вопросы, которые нельзя ни доказать, ни опровергнуть на основе аксиом , определяющих систему. [4]
Ссылки [ править ]
- ^ Джульетта Кеннеди в проекте «Математическая генеалогия»
- ↑ Перейти обратно: Перейти обратно: а б с Джульет Флойд ; Алиса Бокулич , ред. (2017). Философские исследования наследия Алана Тьюринга: Тьюринг 100 . Спрингер. ISBN 9783319532806 .
- ^ « Теория множеств, арифметика и основы математики: теоремы, философия» Джульетта Кеннеди и Роман Коссак (ред.) Cambridge University Press (2012)» . ФилПаперс.
- ^ « Интерпретация Гёделя: критические эссе» Джульетта Кеннеди (ред.) Кембридж: Cambridge University Press (2014)» . ФилПаперс.
Внешние ссылки [ править ]
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Люди | |
| Другой | |
