Περ Λίντστρεμ

Ο Περ Λίντστρεμ (σουηδ. Per "Pelle" Lindström, 9 Απριλίου 1936 – 21 Αυγούστου 2009)Association for Symbolic Logic: Newsletter, Σεπτέμβριος 2009 ήταν Σουηδός λογικολόγος, από το όνομα του οποίου έλαβαν τις ονομασίες τους το θεώρημα του Lindström και ο γενικευμένος ποσοδείκτης Lindström. Επίσης είχε ανακαλύψει ανεξάρτητα το παίγνιο Ehrenfeucht-Fraïssé.) Ο Λίντστρεμ υπήρξε ένας από τους σημαντικούς μαθητές-ακολούθους του Λαρς Σβενόνιους.

Ο Περ Λίντστρεμ, γνωστός στους συναδέλφους του ως «Πέλλε», πήρε το διδακτορικό του το 1966 από το Πανεπιστήμιο του Γκέτεμποργκ με (μεταφρασμένο) τίτλο διδακτορικής διατριβής Κάποια αποτελέσματα στη θεωρία προτύπων των γλωσσών πρώτης τάξεως. Το 1986 εκδόθηκε ένας τιμητικός τόμος για τον Λίντστρεμ. Απεβίωσε στο Γκέτεμποργκ σε ηλικία 73 ετών.

Δημοσιεύσεις
Μερικές επιλεγμένες δημοσιεύσεις του Λίντστρεμ είναι οι εξής:

 «First Order Predicate Logic with Generalized Quantifiers», Theoria, τόμος 32 (1966), σσ. 186-195
 «On Extensions of Elementary Logic», Theoria, τόμ. 35 (1969), σσ. 1-11
 Aspects of incompleteness, εκδ. Springer-Verlag, 1997 (2η έκδοση από την Association for Symbolic Logic, 2003)

Παραπομπές

 Εξωτερικοί σύνδεσμοι 


Κατηγορία:Λογικολόγοι
Κατηγορία:Σουηδοί μαθηματικοί
Κατηγορία:Μαθηματικοί του 20ού αιώνα