Шведский логик (1936–2009)
Пер «Пелле» Линдстрём (9 апреля 1936 г. – 21 августа 2009 г., Гётеборг ) [1] был шведским логиком , в честь которого названы теорема Линдстрёма и квантор Линдстрёма . [2] (Он также независимо открыл игры Эренфойхта–Фрайсса . [1] ) Он был одним из главных последователей Ларса Свенониуса . [3]
Линдстрём получил степень доктора философии в Гётеборгском университете в 1966 году. [4] Его диссертация называлась « Некоторые результаты в теории моделей языков первого порядка» . В 1986 году был опубликован сборник работ Линдстрёма. [5]
Избранные публикации
- Пер Линдстрём, Логика предикатов первого порядка с обобщенными кванторами, Theoria 32, 1966, 186–195.
- Пер Линдстрём, О расширениях элементарной логики, Theoria 35, 1969, 1–11.
- Пер Линдстрем (1997). Аспекты незавершенности . Спрингер-Верлаг. ISBN 978-3-540-63213-9.; 2-е изд. опубликовано ASL в 2003 г., ISBN 978-1-56881-173-4
Ссылки
- ^ ab ASL Newsletter, сентябрь 2009 г.
- ^ Жакетт, Дейл (2005). Компаньон философской логики . стр. 329. ISBN 1-4051-4575-7.
- ^ Берр, Джон Рой (1980). Справочник по мировой философии. стр. 186. ISBN 0-313-22381-5.
- ^ Пер Линдстрём в проекте «Генеалогия математики»
- ^ Линдстрём, Пер; Фурберг, Матс; Веттерстрём, Томас; Оберг, Клас (1986). Логика и абстракция: эссе, посвящённые Перу Линдстрёму в его пятидесятилетие . ISBN 91-7346-168-7.
Дальнейшее чтение
- Вяэнянен, Ю .; Вестерстол, Д. (2010). «Памяти: Пер Линдстрем» (PDF) . Теория . 76 (2): 100–107. дои : 10.1111/j.1755-2567.2010.01069.x.
Внешние ссылки
