Lógico sueco (1936-2009)
Per "Pelle" Lindström (9 de abril de 1936 - 21 de agosto de 2009, Gotemburgo ) [1] fue un lógico sueco , en cuyo honor se nombran el teorema de Lindström y el cuantificador de Lindström . [2] (También descubrió de forma independiente los juegos de Ehrenfeucht-Fraïssé . [1] ) Fue uno de los seguidores clave de Lars Svenonius . [3]
Lindström obtuvo su doctorado en la Universidad de Gotemburgo en 1966. [4] Su tesis se tituló Algunos resultados en la teoría de modelos de lenguajes de primer orden . En 1986 se publicó un homenaje a Lindström. [5]
Publicaciones seleccionadas
- Per Lindström, Lógica de predicados de primer orden con cuantificadores generalizados, Theoria 32, 1966, 186–195.
- Per Lindström, Sobre extensiones de la lógica elemental, Theoria 35, 1969, 1–11.
- Según Lindström (1997). Aspectos de lo incompleto . Springer-Verlag. ISBN 978-3-540-63213-9.; 2da ed. publicada por ASL en 2003, ISBN 978-1-56881-173-4
Referencias
- ^ Boletín informativo de ASL , septiembre de 2009
- ^ Jacquette, Dale (2005). Un compañero para la lógica filosófica . p. 329. ISBN 1-4051-4575-7.
- ^ Burr, John Roy (1980). Manual de filosofía mundial. pág. 186. ISBN 0-313-22381-5.
- ^ Per Lindström en el Proyecto de Genealogía Matemática
- ^ Lindström, Per; Furberg, Mats; Wetterström, Thomas; Åberg, Claes (1986). Lógica y abstracción: ensayos dedicados a Per Lindström en su quincuagésimo cumpleaños . ISBN 91-7346-168-7.
Lectura adicional
- Väänänen, J .; Westerståhl, D. (2010). "In Memoriam: Per Lindström" (PDF) . Teoría . 76 (2): 100–107. doi :10.1111/j.1755-2567.2010.01069.x.
Enlaces externos