Per Lindström (matematiker)

Per Magnus Lindström, född 9 april 1936, död 21 augusti 2009 i Alingsås, var en svensk matematiker och professor i logik vid Göteborgs universitet mest känd för sitt arbete med logiska kvantifikatorer. Generaliseringen av första ordningen kvantifikatorer (existenskvantifikatorn och allkvantifikatorn) benämns Lindström kvantifikatorer och Lindströms sats är även uppkallad efter honom. Dessa har använts inom datavetenskapen.

Lindström tog studentexamen vid Hvitfeldtska gymnasiet 1955 och studerade filosofi och matematik vid Göteborgs universitet. År 1966 disputerade han i teoretisk filosofi och blev 1991 professor i logik.[1]

Per Lindström är gravsatt i minneslunden på Nolby begravningsplats i Alingsås.[2]

Referenser

  • Nationalencyklopedin, ”Per Lindström”

Noter

  1. ^ Bennet, Christian. ”Per Lindström”. Dagens Nyheter. http://www.dn.se/arkiv/kultur/per-lindstrom. Läst 3 december 2015. 
  2. ^ ”Lindström, Per Magnus”. SvenskaGravar.se. https://www.svenskagravar.se/gravsatt/9b72a69f-16fe-4a10-889f-96fba2ecf043. Läst 14 oktober 2023. 
Auktoritetsdata