| dbo:abstract |
بير يندستروم (بالسويدية: Per Lindström) هو رياضياتي سويدي، ولد في 9 أبريل 1936، وتوفي في 21 أغسطس 2009. (ar) Per Lindström (* 9. April 1936; † 21. August 2009 in Göteborg) war ein schwedischer Logiker. Er ist der Namensgeber für die Sätze von Lindström, welche die Prädikatenlogik erster Stufe gegenüber allen anderen logischen Systemen auszeichnen. Lindström lehrte an der Philosophischen Fakultät der Universität Göteborg, zunächst als Dozent, ab 1991 als Professor der Logik. 2001 ging er in den Ruhestand. (de) Per "Pelle" Lindström (9 April 1936 – 21 August 2009, Gothenburg) was a Swedish logician, after whom Lindström's theorem and the Lindström quantifier are named. (He also independently discovered Ehrenfeucht–Fraïssé games.) He was one of the key followers of Lars Svenonius. Lindström was awarded a PhD from the University of Gothenburg in 1966. His thesis was titled Some Results in the Theory of Models of First Order Languages. A festschrift for Lindström was published in 1986. (en) Per Lindström (onbekend, 9 april 1936 - Göteborg, 21 augustus 2009) was een Zweedse logicus naar wie de stelling van Lindström en de zijn vernoemd. Ter ere van hem werd in 1986 een liber amicorum gepubliceerd. (nl) Per 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. 1966 disputerade han i teoretisk filosofi och blev 1991 professor i logik. (sv) |
| dbo:wikiPageExternalLink |
http://www.math.helsinki.fi/logic/opetus/lt/Pelle.pdf |
| dbo:wikiPageID |
28868368 (xsd:integer) |
| dbo:wikiPageLength |
2511 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1019268364 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbc:Swedish_logicians dbr:University_of_Gothenburg dbc:1936_births dbc:2009_deaths dbc:Swedish_mathematicians dbr:Gothenburg dbr:Lindström_quantifier dbr:Lars_Svenonius dbr:Lindström's_theorem dbr:Ehrenfeucht–Fraïssé_game dbr:Theoria_(philosophy_journal) dbr:Festschrift dbr:Logician dbr:Swedish_people |
| dbp:wikiPageUsesTemplate |
dbt:Authority_control dbt:Cite_book dbt:Cite_journal dbt:Reflist dbt:Short_description dbt:Isbn dbt:MathGenealogy dbt:Europe-mathematician-stub |
| dcterms:subject |
dbc:Swedish_logicians dbc:1936_births dbc:2009_deaths dbc:Swedish_mathematicians |
| gold:hypernym |
dbr:Logician |
| rdf:type |
owl:Thing dbo:Person yago:WikicatLogicians yago:CausalAgent100007347 yago:Expert109617867 yago:LivingThing100004258 yago:Logician110269785 yago:Mathematician110301261 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scientist110560637 yago:Whole100003553 yago:WikicatSwedishMathematicians yago:WikicatSwedishPeople |
| rdfs:comment |
بير يندستروم (بالسويدية: Per Lindström) هو رياضياتي سويدي، ولد في 9 أبريل 1936، وتوفي في 21 أغسطس 2009. (ar) Per Lindström (* 9. April 1936; † 21. August 2009 in Göteborg) war ein schwedischer Logiker. Er ist der Namensgeber für die Sätze von Lindström, welche die Prädikatenlogik erster Stufe gegenüber allen anderen logischen Systemen auszeichnen. Lindström lehrte an der Philosophischen Fakultät der Universität Göteborg, zunächst als Dozent, ab 1991 als Professor der Logik. 2001 ging er in den Ruhestand. (de) Per "Pelle" Lindström (9 April 1936 – 21 August 2009, Gothenburg) was a Swedish logician, after whom Lindström's theorem and the Lindström quantifier are named. (He also independently discovered Ehrenfeucht–Fraïssé games.) He was one of the key followers of Lars Svenonius. Lindström was awarded a PhD from the University of Gothenburg in 1966. His thesis was titled Some Results in the Theory of Models of First Order Languages. A festschrift for Lindström was published in 1986. (en) Per Lindström (onbekend, 9 april 1936 - Göteborg, 21 augustus 2009) was een Zweedse logicus naar wie de stelling van Lindström en de zijn vernoemd. Ter ere van hem werd in 1986 een liber amicorum gepubliceerd. (nl) Per 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. (sv) |
| rdfs:label |
بير يندستروم (ar) Per Lindström (de) Per Lindström (it) Per Lindström (nl) Per Lindström (en) Per Lindström (matematiker) (sv) |
| owl:sameAs |
freebase:Per Lindström http://viaf.org/viaf/40107897 http://d-nb.info/gnd/115434836 wikidata:Per Lindström http://data.bibliotheken.nl/id/thes/p073011290 dbpedia-ar:Per Lindström dbpedia-de:Per Lindström dbpedia-it:Per Lindström dbpedia-nl:Per Lindström dbpedia-sv:Per Lindström https://global.dbpedia.org/id/xVK9 |
| prov:wasDerivedFrom |
wikipedia-en:Per_Lindström?oldid=1019268364&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Per_Lindström |
| is dbo:wikiPageDisambiguates of |
dbr:Lindström |
| is dbo:wikiPageRedirects of |
dbr:Per_Lindstrom_(logician) dbr:Per_Lindström_(logician) |
| is dbo:wikiPageWikiLink of |
dbr:List_of_logicians dbr:Per_Lindstrom_(logician) dbr:Lindström_quantifier dbr:Joan_Moschovakis dbr:Lars_Svenonius dbr:Lindström dbr:Lindström's_theorem dbr:First-order_logic dbr:Quantifier_(logic) dbr:Gödel's_incompleteness_theorems dbr:Theoria_(philosophy_journal) dbr:Provability_logic dbr:Yiannis_N._Moschovakis dbr:Per_Lindström_(logician) |
| is foaf:primaryTopic of |
wikipedia-en:Per_Lindström |