Пространства Диэлектики (Dialectica spaces) появились как категориальная основа для построения моделей линейной логики в ходе написания докторской диссертации в 1988 году в Кембриджском университете. Эта математическая база, разработанная под руководством Мартина Хайланда (Martin Hyland), остается важным вкладом в область логики. Валерия де Пайва, родившаяся в 1959 году в Позу-Алегри (Бразилия), продолжает применять эти концепции в современной теории вычислений.
Академические основы
Де Пайва начала свое формальное образование в Папском католическом университете Рио-де-Жанейро, где получила степень бакалавра в 1982 году и степень магистра по чистой алгебре в 1984 году. Ее последующий переход в Кембридж привел к введению пространств Диэлектики. В этом исследовании использовались ранние интерпретации Курта Гёделя (Kurt Gödel) для обеспечения категориальной структуры для линейной логики. Ее ранние работы, такие как публикация 1987 года о категориях Диэлектики, заложили основу для логических подходов к вычислениям, объединяющих теорию категорий с теорией типов.
Профессиональный путь
Ее карьера охватывает разнообразные промышленные и академические среды. В период с 2000 по 2008 год она проработала девять лет в Исследовательском центре Пало-Альто. Среди ее последующих должностей была работа в Rearden Commerce и Cuil, прежде чем она присоединилась к Nuance Communications, где проработала с 2012 по 2018 год. После работы в Samsung Electronics в 2019–2020 годах, она перешла в институт Topos в 2021 году. Она также носит звание почетного научного сотрудника в области информатики в Бирмингемском университете.
Исследования и управление
Ее работа сосредоточена на функциональном программировании, представлении знаний и семантике естественного языка. Среди примечательных технических отчетов — публикация 1992 года о назначении терминов для интуиционистской линейной логики. Помимо исследований, она служит более широкому научному сообществу, включая работу в Совете Отделения логики, методологии и философии науки и технологии при Международном союзе истории и философии науки и технологии в период с 2020 по 2023 год. Она также является членом SIGLOG и Скандинавского общества логики.
Двадцать вопросов, восемь минут на часах и процентиль, измеренный по всем, кто его проходил. Без регистрации.
Пройти тест IQ →Краткие факты
- Родилась: 1959, Позу-Алегри, Бразилия - Гражданство: Бразилия - Докторская степень: 1988, Кембриджский университет - Области: Информатика, математика, логика - Работа: Nuance Communications (2012-2018) - Работа: Samsung Electronics (2019-2020) - Работа: Институт Topos (2021) - Языки: Английский, португальский
Вопросы читателей
### В чем значение пространств Диэлектики?
Они предоставляют категориальный метод построения моделей линейной логики, основанный на работе Курта Гёделя.
### В каких учебных заведениях она получила образование?
Она училась в Папском католическом университете Рио-де-Жанейро и Кембриджском университете.
