Μετάβαση στο περιεχόμενο

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

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Περ Λίντστρεμ
Γενικές πληροφορίες
Γέννηση9  Απριλίου 1936
Θάνατος21  Αυγούστου 2009
Γκέτεμποργκ
Χώρα πολιτογράφησηςΣουηδία
Εκπαίδευση και γλώσσες
Ομιλούμενες γλώσσεςΣουηδικά[1]
ΣπουδέςΠανεπιστήμιο του Γκέτεμποργκ
Πληροφορίες ασχολίας
Ιδιότηταμαθηματικός
διδάσκων πανεπιστημίου
ΕργοδότηςΠανεπιστήμιο του Γκέτεμποργκ

Ο Περ Λίντστρεμ (σουηδ. Per "Pelle" Lindström, 9 Απριλίου 193621 Αυγούστου 2009)[2] ήταν Σουηδός λογικολόγος, από το όνομα του οποίου έλαβαν τις ονομασίες τους το θεώρημα του Lindström και ο γενικευμένος ποσοδείκτης Lindström.[3] Επίσης είχε ανακαλύψει ανεξάρτητα το παίγνιο Ehrenfeucht-Fraïssé.[2]) Ο Λίντστρεμ υπήρξε ένας από τους σημαντικούς μαθητές-ακολούθους του Λαρς Σβενόνιους.[4]

Ο Περ Λίντστρεμ, γνωστός στους συναδέλφους του ως «Πέλλε», πήρε το διδακτορικό του το 1966 από το Πανεπιστήμιο του Γκέτεμποργκ[5] με (μεταφρασμένο) τίτλο διδακτορικής διατριβής Κάποια αποτελέσματα στη θεωρία προτύπων των γλωσσών πρώτης τάξεως. Το 1986 εκδόθηκε ένας τιμητικός τόμος για τον Λίντστρεμ.[6] Απεβίωσε στο Γκέτεμποργκ σε ηλικία 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)


  1. CONOR.SI. 92101219.
  2. 1 2 Association for Symbolic Logic: Newsletter, Σεπτέμβριος 2009
  3. Jacquette, Dale (2005). A companion to philosophical logic. σελ. 329. ISBN 1-4051-4575-7.
  4. Burr, John Roy (1980). Handbook of world philosophy. σελ. 186. ISBN 0-313-22381-5.
  5. Περ Λίντστρεμ στο Mathematics Genealogy Project
  6. Lindström, Per· Furberg, Mats· Wetterström, Thomas· Åberg, Claes (1986). Logic and abstraction: essays dedicated to Per Lindström on his fiftieth birthday. ISBN 91-7346-168-7.

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

[Επεξεργασία | επεξεργασία κώδικα]