WikiDer > Джульетта Кеннеди

Juliette Kennedy
Джульетта Кеннеди
Альма-матерГородской университет Нью-Йорка
Научная карьера
Поляматематическая логика, теория множеств, основы математики, философия математики, Курт Гёдель
УчрежденияХельсинкский университет
ТезисО вложении моделей арифметики в приведенные степени[1] (1996)
ДокторантАттила Мате

Джульетта Кеннеди доцент кафедры математики и статистики Университет Хельсинки. Ее основные научные интересы: математическая логика и основы математики. В ходе своей работы она много публиковала о работах Курт Гёдель.

Образование и карьера

Кеннеди - доцент кафедры математики и статистики Хельсинкского университета.[2]:xv

Области исследований

Кеннеди в Университете Хельсинки фокусируется на математическая логика в области теоретико-множественной теории моделей и теория множеств. В ходе своей математической работы она также исследует история математики и основы математики. В этом контексте она реализовала обширный проект по размещению работ Курт Гёдель в его историческом и фундаментальном контексте.[2]:xv В 2017 году она опубликовала свое исследование о взаимодействии произведений Алан Тьюринг и Гёделя, который в 1956 г. P против проблемы NP в письме к Джон фон Нейман.[2]:14

Книги

Кеннеди и Роман Коссак - редакторы Теория множеств, арифметика и основы математики: теоремы, философии, опубликованная как Книга 36 в серии Конспект лекций по логике в 2012 г. Издательство Кембриджского университета.[3]

Кеннеди - редактор Интерпретация Гёделя: критические эссе, опубликовано в 2014 г. Издательство Кембриджского университета и переиздан в 2017 году. В книге Кеннеди собрал ведущих современных философов и математиков, чтобы изучить влияние работ Гёделя на основы и философию математики. Логик Курт Гёдель сформулировал в 1931 г. теоремы о неполноте, которые, среди прочего, доказывают, что в любой формальной системе с ресурсами, достаточными для кодирования арифметики, существуют вопросы, которые нельзя ни доказать, ни опровергнуть на основе аксиомы которые определяют систему.[4]

Рекомендации

  1. ^ Джульетта Кеннеди на Проект "Математическая генеалогия"
  2. ^ а б c Джульет Флойд; Алиса Бокулич, ред. (2017). Философские исследования наследия Алана Тьюринга: Тьюринг 100. Springer. ISBN 9783319532806.
  3. ^ ""Теория множеств, арифметика и основы математики: теоремы, философии "Джульетт Кеннеди и Роман Коссак (редакторы) Cambridge University Press (2012)". PhilPapers.
  4. ^ ""Interpreting Gödel: Critical Essays "Juliette Kennedy (ed.) Cambridge: Cambridge University Press (2014)". PhilPapers.

внешняя ссылка