Redigerer Thoralf Skolem (avsnitt)

== Utmerkelser og ettermæle==
Skolem var medlem av Vitenskapsakademiet i Oslo helt fra 1918, og han mottok flere utmerkelser for sine resultater i matematikken. I 1954 ble han utnevnt til ridder av 1. klasse  av [[St. Olavs orden]]. I 1962 fikk han [[Gunnerusmedaljen]] av [[Det Kongelige Norske Videnskabers Selskab]].

De fleste av de nærmere 200 vitenskapelige artiklene til Skolem ble publisert i norske tidsskrifter. I starten var han ikke så kjent internasjonalt, og dette har nok med at han i så stor grad publiserte på norsk. Etterhvert fikk han derimot stor internasjonal anerkjennelse, og han regnes i dag som en av de største logikerne i det 20. århundre.

=== Skolemforelesninger ===
Ved [[Universitetet i Oslo]] har man siden 1987 holdt ''Skolemforelesninger'' (Skolem lectures) der en kjent utenlandsk logiker holder en tale.<ref>Jens Erik Fenstad, [http://www.hf.uio.no/ifikk/forskning/publikasjoner/tidsskrifter/njpl/vol1no2/skolect.pdf The Skolem Lectures at the University of Oslo] </ref><ref>Universitetets i Oslo side [https://www.hf.uio.no/ifikk/english/research/groups/logic/events/ The Skolem Lecture]</ref>
{{Kollaps topp|Skolemtalere}}

Nøyaktig tittel er ikke angitt for alle.  Noen få av disse er publisert i Nordic Journal of Philosophical Logic som siden 1995 har vært utgit av [[Universitetet i Oslo]].<ref>[http://www.hf.uio.no/ifikk/forskning/publikasjoner/tidsskrifter/njpl/ NJPL - Nordic Journal of Philosophical logic]</ref>
* 1987 [[Dag Prawitz]] (1936–) fra [[Stockholms universitet]]
* 1988 [[Robin Gandy]] (1919–95) fra [[Oxford University]]
* 1989 [[Solomon Feferman]] (1928–2016) fra [[Stanford University]]
* 1990 Robert Boyer
* 1991 Burton Dreben (1927–99) fra [[Harvard University]]
* 1992 Jean-Yves Girard (1947–) fra Universitetet i Paris
* 1993 Skolem and Gødel Hao Wang (1921–95) fra [[Rockefeller University]]
* 1994 ''Thoralf Skolem and the episilon substitution method for predicate logic'' av [[Grigori Mints]] (1939–2014) fra [[Stanford University]]
* 1995 ''What we can do in principle'' av [[Charles Parsons]] (1933–) fra [[Harvard University]]
* 1996 [[Per Martin-Löf]] (1942–) fra [[Stockholms universitet]]
* 1997 [[Dana Scott]] (1932–) fra [[Carnegie Mellon University]]
* 1998 [[Helmut Schwichtenberg]] (1942–) fra [[Ludwig-Maximilians-Universität München]]
* 1999 Peter Gärdenfors
* 2000 Krister Segerberg
* 2001 Saul Kripke
* 2002 Paul Cohen
* 2004 Timothy Williamson (1955–) fra [[University of Oxford]]
* 2005 [[Thierry Coquand]] (1961–) fra [[Göteborgs universitet]]
* 2006 Göran Sundholm fra [[Universitetet i Leiden]]
* 2007 [[Stanley S. Wainer|Stan S. Wainer]] fra [[University of Leeds]]
* 2010 [[William Walter Tait|William Tait]] (1929–) fra [[University of Chicago]]
* 2011 [[Jan von Plato]] (1951–) fra [[Helsingfors universitet]]
* 2013 ''The Structure Identity Principle in Set Theory and Type Theory]' av [[Peter Aczel]] (1941–) fra [[University of Manchester]]
* 2014 ''Truth-conditional Content'' av [[Kit Fine]] (1946–) fra [[New York University]]
* 2015 ''On relating strong type theories and set theories'' av Michael Rathjen fra [[University of Leeds]]
* 2016 ''Computing with numbers and other non-syntactic things: knowing which'' av [[Stewart Shapiro]] (1951–) fra [[Ohio State University]].
* 2019 ''Univalence, Invariance, and Intensionality'' av [[Steve Awodey]] (1959–) fra [[Carnegie Mellon University]].
* 2022 ''The Birth of Binary: Leibniz and the Origins of Computer Arithmetic'' av [[Harry Lewis]] (1947–) fra [[Harvard University]].

{{Kollaps bunn}}