Albert Thoralf Skolem
| Albert Thoralf Skolem | |
|---|---|
 | |
| Rojstvo | Thoralf Albert Skolem 23. maj 1887[1][2][…] Sandsvær[d][2] |
| Smrt | 23. marec 1963[1][2][…] (75 let) Oslo |
| Državljanstvo |  Norveška |
| Poklic | matematik, filozof, univerzitetni učitelj |
Albert Thoralf Skolem, norveški matematik, logik in filozof, * 23. maj 1887, Sandsvaer, Buskerud, Norveška, † 23. marec 1963, Oslo, Norveška.
Skolem je študiral matematiko na Univerzi v Kristianiji. Leta 1913 je doktoriral. Od leta 1909 je bil asistent fiziku Kristianu Birkelandu.
Največ se je ukvarjal z matematično logiko. Leta 1933 je dokazal, da za naravna števila ne moremo najti sistema značilnih značilnosti aksiomov. Dokazoval je tudi, da obstaja množica reči, ki ustreza Peanovim aksiomom in ni izomorfna množici naravnih števil .
Dela
[uredi | uredi kodo]- Diophantische Gleichungen (Springer, Berlin 1938),
- Sur la porteé de Löwenheim-Skolem (1938),
- Einige Bemerkungen über die Induktionsschemata in der rekursiven Zahlentheorie (1939),
- Some remarks on recursive arithmetic (1944),
- Bemerkungen zum Komprehensionsaxiom (1957).
Glej tudi
[uredi | uredi kodo]- Löwenheim-Skolemov izrek
- skolemizacija, Skolemova funkcija, Skolemova normalna oblika
- izrek Skolema in Noetherjeve
Zunanje povezave
[uredi | uredi kodo] | Ta članek o matematiku je škrbina. Pomagajte Wikipediji in ga razširite. |
| Splošno | |
|---|---|
| Narodne knjižnice | |
| Biografski slovarji | |
| Znanstvene podatkovne baze | |
| Drugo | |
- ↑ 1,0 1,1 data.bnf.fr: platforma za odprte podatke — 2011.
- ↑ 2,0 2,1 2,2 MacTutor History of Mathematics archive — 1994.
- ↑ 3,0 3,1 Norsk biografisk leksikon — Kunnskapsforlaget. — ISSN 2464-1502