Per Lindström
Per Lindström (9 aprile 1936 – Göteborg, 21 agosto 2009) è stato un logico svedese, che diede vita al Teorema di Lindström e al quantificatore di Lindström[1].
Biografia
modificaPer Lindström scoprì in modo indipendente il Gioco di Ehrenfeucht-Fraïssé. Fu uno dei più importanti seguaci del filosofo e logico svedese Lars Svenonius.[2]
Nel 1966, ricevette un dottorato dall'Università di Göteborg con una tesi intitolata Some Results in the Theory of Models of First Order Languages (Alcuni risultati nella teoria dei modelli dei linguaggi del primo ordine). Lindström ha insegnato alla Facoltà di Filosofia dell'Università di Göteborg, prima come associato, e dal 1991 come professore di logica. Nel 2001 è andato in pensione.
Nel 1986 fu pubblicato un festschrift in suo onore.[3]
Pubblicazioni selezionate
modifica- Per Lindström, First Order Predicate Logic with Generalized Quantifiers, Theoria 32, 1966, 186–195.
- Per Lindström, On Extensions of Elementary Logic, Theoria 35, 1969, 1–11.
- Per Lindström, Aspects of incompleteness, Springer-Verlag, 1997, ISBN 978-3-540-63213-9.; 2aed.ne pubblicata da ASL nel 2003, ISBN 978-1-56881-173-4
Note
modifica- ^ Dale Jacquette, A companion to philosophical logic, 2005, p. 329, ISBN 1-4051-4575-7.
- ^ John Roy Burr, Handbook of world philosophy, 1980, p. 186, ISBN 0-313-22381-5.
- ^ Per Lindström, Mats Furberg, Thomas Wetterström e Claes Åberg, Logic and abstraction: essays dedicated to Per Lindström on his fiftieth birthday, 1986, ISBN 91-7346-168-7.
- ^ Association for Symbolic Logic, Newsletter, settembre 2009
Bibliografia
modifica- J. Väänänen e D. Westerståhl, In Memoriam: Per Lindström (PDF), in Theoria, vol. 76, n. 2, 2010, pp. 100–107, DOI:10.1111/j.1755-2567.2010.01069.x.
Collegamenti esterni
modifica| Controllo di autorità | VIAF (EN) 40107897 · ISNI (EN) 0000 0000 8406 5872 · LCCN (EN) n86090404 · GND (DE) 115434836 · J9U (EN, HE) 987007412569705171 · CONOR.SI (SL) 92101219 |
|---|
