Per Lindström - Per Lindström

Per "Pelle" Lindström (9. dubna 1936 - 21. srpna 2009, Gothenburg )^[1] byl švédský logik, po kom Lindströmova věta a Lindströmův kvantifikátor jsou pojmenovány.^[2] (Také samostatně objevil Hry Ehrenfeucht – Fraïssé.^[1]) Byl jedním z klíčových následovníků Lars Svenonius.^[3]

Lindström získal titul PhD University of Gothenburg v roce 1966.^[4] Jeho práce měla název Některé výsledky v teorii modelů jazyků prvního řádu. A slavnostní svátek pro Lindström byla zveřejněna v roce 1986.^[5]

Vybrané publikace

Per Lindström, predikátová logika prvního řádu se zobecněnými kvantifikátory, Theoria 32, 1966, 186–195.
Per Lindström, o rozšířeních elementární logiky, Theoria 35, 1969, 1–11.
Per Lindström (1997). Aspekty neúplnosti. Springer-Verlag. ISBN 978-3-540-63213-9.; 2. vyd. publikoval ASL v roce 2003, ISBN 978-1-56881-173-4

Reference

^ ^A ^b ASL Zpravodaj, Září 2009
^ Jacquette, Dale (2005). Společník filozofické logiky. str. 329. ISBN 1-4051-4575-7.
^ Burr, John Roy (1980). Příručka světové filozofie. str.186. ISBN 0-313-22381-5.
^ Per Lindström na Matematický genealogický projekt
^ Lindström, Per; Furberg, Mats; Wetterström, Thomas; Åberg, Claes (1986). Logika a abstrakce: eseje věnované Per Lindströmovi k jeho padesátým narozeninám. ISBN 91-7346-168-7.