Пер Линдстрём - Per Lindström

Пер "Пелле" Линдстрём (9 апреля 1936 г. - 21 августа 2009 г., Гетеборг )[1] был Шведский логик, после кого Теорема Линдстрема и Квантификатор Линдстрема названы.[2] (Он также независимо открыл Игры Эренфойхта – Фраиссе.[1]) Он был одним из ключевых последователей Ларс Свенониус.[3]

Линдстрем получил докторскую степень от Гетеборгский университет в 1966 г.[4] Его диссертация была названа Некоторые результаты в теории моделей языков первого порядка. А фестивальный сбор для Lindström был опубликован в 1986 году.[5]

Избранные публикации

  • Пер Линдстрем, Логика предикатов первого порядка с обобщенными кванторами, Теория 32, 1966, 186–195.
  • Пер Линдстрем, О расширениях элементарной логики, Теория 35, 1969, 1–11.
  • Пер Линдстрем (1997). Аспекты незавершенности. Springer-Verlag. ISBN  978-3-540-63213-9.; 2-е изд. опубликовано ASL в 2003 г., ISBN  978-1-56881-173-4

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

  1. ^ а б ASL Новостная рассылка, Сентябрь 2009 г.
  2. ^ Жакетт, Дейл (2005). Товарищ философской логики. п. 329. ISBN  1-4051-4575-7.
  3. ^ Берр, Джон Рой (1980). Справочник мировой философии. п.186. ISBN  0-313-22381-5.
  4. ^ Пер Линдстрём на Проект "Математическая генеалогия"
  5. ^ Lindström, Per; Фурберг, Матс; Веттерстрём, Томас; Оберг, Клас (1986). Логика и абстракция: эссе, посвященные Перу Линдстрему в день его пятидесятилетия. ISBN  91-7346-168-7.

дальнейшее чтение

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