31:
545:
and potentially capable of wide application. He was very much a 'free spirit': he did not belong to any school, he did not found a school of his own, he did not usually make heavy use of known results... he was very much an innovator and most of his papers can be read and understood by those without much specialized knowledge. It seems quite likely that if he were young today, logic... would not have appealed to him. (Skolem 1970: 17-18)
575:
298:, a city which then lacked a university and hence had no research library, so that he was unable to keep abreast of the mathematical literature. In 1938, he returned to Oslo to assume the Professorship of Mathematics at the university. There he taught the graduate courses in algebra and number theory, and only occasionally on mathematical logic. Skolem's Ph.D. student
561:
544:
Skolem tends to treat general problems by concrete examples. He often seemed to present proofs in the same order as he came to discover them. This results in a fresh informality as well as a certain inconclusiveness. Many of his papers strike one as progress reports. Yet his ideas are often pregnant
496:
and to set out a considerable amount of number theory. If the first of these systems can be considered as a programming language for defining objects, and the second as a programming logic for proving properties about the objects, Skolem can be seen as an unwitting pioneer of theoretical computer
458:
is a corollary of results Skolem proved in the early 1920s and discussed in Skolem (1928), but he failed to note this fact, perhaps because mathematicians and logicians did not become fully aware of completeness as a fundamental metamathematical problem until the 1928 first edition of
Hilbert and
382:) is distributive and, as a partial converse, that every finite distributive lattice is implicative. After these results were rediscovered by others, Skolem published a 1936 paper in German, "Ăber gewisse 'VerbĂ€nde' oder 'Lattices'", surveying his earlier work in lattice theory.
683:, ed. Oslo: Scandinavian University Books. Contains 22 articles in German, 26 in English, 2 in French, 1 English translation of an article originally published in Norwegian, and a complete bibliography.
241:-like effects; thus Skolem's first publications were physics papers written jointly with Birkeland. In 1913, Skolem passed the state examinations with distinction, and completed a dissertation titled
265:, fields in which Skolem eventually excelled. In 1916 he was appointed a research fellow at Det Kongelige Frederiks Universitet. In 1918, he became a Docent in Mathematics and was elected to the
316:
After his 1957 retirement, he made several trips to the United States, speaking and teaching at universities there. He remained intellectually active until his sudden and unexpected death.
272:
Skolem did not at first formally enroll as a Ph.D. candidate, believing that the Ph.D. was unnecessary in Norway. He later changed his mind and submitted a thesis in 1926, titled
405:
in place of that axiom. It is notable that Skolem, like Löwenheim, wrote on mathematical logic and set theory employing the notation of his fellow pioneering model theorists
438:. The resulting axiom is now part of the standard axioms of set theory. Skolem also pointed out that a consequence of the LöwenheimâSkolem theorem is what is now known as
723:
1920. "Logico-combinatorial investigations on the satisfiability or provability of mathematical propositions: A simplified proof of a theorem by Löwenheim," 252â263.
347:. He mostly published in Norwegian journals with limited international circulation, so that his results were occasionally rediscovered by others. An example is the
434:
Skolem (1922) refined
Zermelo's axioms for set theory by replacing Zermelo's vague notion of a "definite" property with any property that can be coded in
442:: If Zermelo's axioms are consistent, then they must be satisfiable within a countable domain, even though they prove the existence of uncountable sets.
294:. This senior post allowed Skolem to conduct research free of administrative and teaching duties. However, the position also required that he reside in
488:, as a means of avoiding the so-called paradoxes of the infinite. Here he developed the arithmetic of the natural numbers by first defining objects by
379:
646:"Ăber die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzĂ€hlbar unendlich vieler Aussagen mit ausschlieĂlich Zahlenvariablen"
856:
397:, which states that if a countable first-order theory has an infinite model, then it has a countable model. His 1920 proof employed the
492:, then devising another system to prove properties of the objects defined by the first system. These two systems enabled him to define
198:
Although Skolem's father was a primary school teacher, most of his extended family were farmers. Skolem attended secondary school in
266:
775:
525:
796:
207:
623:
451:
826:
410:
461:
428:
423:
831:
516:. The following year, Skolem proved that the same was true of Peano arithmetic without addition, a system named
394:
107:
481:
790:
836:
841:
348:
103:
250:
851:
780:
653:
524:'s famous 1931 result is that Peano arithmetic itself (with both addition and multiplication) is
770:
846:
406:
501:
418:
328:
688:
821:
816:
513:
367:
588:
390:
309:("The Norwegian Mathematical Journal") for many years. He was also the founding editor of
8:
766:
713:
608:
537:
489:
485:
439:
375:
402:
645:
603:
530:
344:
290:
in 1939) until 1930 when he became a
Research Associate in Chr. Michelsen Institute in
287:
254:
238:
230:
183:
178:
274:
Some theorems about integral solutions to certain algebraic equations and inequalities
751:
Fenstad, Jens Erik, 1970, "Thoralf Albert Skolem in
Memoriam" in Skolem (1970: 9â16).
680:
598:
580:
517:
455:
435:
662:
566:
505:
262:
143:
413:, including Î , ÎŁ as variable-binding quantifiers, in contrast to the notations of
618:
398:
363:
305:
Skolem served as president of the
Norwegian Mathematical Society, and edited the
258:
134:
93:
613:
336:
291:
246:
299:
286:
Skolem continued to teach at Det kongelige
Frederiks Universitet (renamed the
158:
810:
754:
Hao Wang, 1970, "A survey of Skolem's work in logic" in Skolem (1970: 17â52).
352:
124:
786:
667:
466:
593:
493:
386:
356:
332:
182:; 23 May 1887 â 23 March 1963) was a Norwegian mathematician who worked in
30:
206:), passing the university entrance examinations in 1905. He then entered
51:
509:
340:
199:
187:
277:
215:
148:
718:
From Frege to Gödel: A Source Book in
Mathematical Logic, 1879â1931
477:
473:
234:
521:
219:
211:
295:
223:
55:
245:. He also traveled with Birkeland to the Sudan to observe the
414:
692:
549:
For more on Skolem's accomplishments, see Hao Wang (1970).
229:
In 1909, he began working as an assistant to the physicist
203:
73:
355:
of simple algebras. Skolem published a proof in 1927, but
729:
1923. "The foundations of elementary arithmetic," 302-33.
726:
1922. "Some remarks on axiomatized set theory," 290-301.
389:. In 1920, he greatly simplified the proof of a theorem
319:
For more on Skolem's academic life, see
Fenstad (1970).
797:
Thoralf Albert Skolem 1887-1963: A Biographical Sketch
687:
Skolem, Thoralf (23 April 2018). Zach, Richard (ed.).
556:
707:
764:
401:, but he later (1922 and 1928) gave proofs using
359:independently rediscovered it a few years later.
808:
366:. In 1912, he was the first to describe a free
233:, known for bombarding magnetized spheres with
427:. Skolem (1934) pioneered the construction of
283:In 1927, he married Edith Wilhelmine Hasvold.
249:. He spent the winter semester of 1915 at the
484:, a very early contribution to the theory of
253:, at the time the leading research center in
210:to study mathematics, also taking courses in
480:in mathematics. Skolem (1923) sets out his
29:
666:
469:first proved this completeness in 1930.
374:elements. In 1919, he showed that every
267:Norwegian Academy of Science and Letters
801:Nordic Journal of Philosophical Logic 1
776:MacTutor History of Mathematics Archive
732:1928. "On mathematical logic," 508â524.
393:first proved in 1915, resulting in the
362:Skolem was among the first to write on
809:
686:
640:
465:clearly articulated it. In any event,
327:Skolem published around 180 papers on
243:Investigations on the Algebra of Logic
280:, even though Thue had died in 1922.
177:
857:20th-century Norwegian philosophers
208:Det Kongelige Frederiks Universitet
13:
540:praised Skolem's work as follows:
276:. His notional thesis advisor was
14:
868:
758:
429:non-standard models of arithmetic
573:
559:
472:Skolem distrusted the completed
462:Principles of Mathematical Logic
424:Principles of Mathematical Logic
302:went on to a career in the USA.
708:Writings in English translation
476:and was one of the founders of
445:
482:primitive recursive arithmetic
322:
1:
791:Mathematics Genealogy Project
629:
738:
689:"Skolem's 1920, 1923 Papers"
7:
795:Fenstad, Jens Erik, 1996, "
552:
508:without multiplication was
307:Norsk Matematisk Tidsskrift
10:
873:
634:
624:SkolemâMahlerâLech theorem
179:[ËtĂ»ËrÉÉ«fËskĂ»ËlÉm]
164:
154:
142:
130:
120:
113:
99:
89:
81:
62:
37:
28:
21:
827:Norwegian mathematicians
781:University of St Andrews
744:Brady, Geraldine, 2000.
395:LöwenheimâSkolem theorem
311:Mathematica Scandinavica
138:Chr. Michelsen Institute
108:LöwenheimâSkolem theorem
720:. Harvard Univ. Press.
677:Selected works in logic
668:10.4064/fm-23-1-150-161
654:Fundamenta Mathematicae
251:University of Göttingen
193:
16:Norwegian mathematician
832:Mathematical logicians
547:
407:Charles Sanders Peirce
349:SkolemâNoether theorem
104:SkolemâNoether theorem
746:From Peirce to Skolem
675:Skolem, T. A., 1970.
542:
419:Principia Mathematica
385:Skolem was a pioneer
351:, characterizing the
329:Diophantine equations
171:Thoralf Albert Skolem
767:Robertson, Edmund F.
486:computable functions
368:distributive lattice
837:Norwegian logicians
765:O'Connor, John J.;
714:Jean van Heijenoort
490:primitive recursion
378:(now also called a
376:implicative lattice
339:, and most of all,
604:Skolem normal form
345:mathematical logic
288:University of Oslo
255:mathematical logic
231:Kristian Birkeland
184:mathematical logic
842:Lattice theorists
599:Skolem arithmetic
589:Leopold Löwenheim
581:Philosophy portal
518:Skolem arithmetic
456:first-order logic
436:first-order logic
391:Leopold Löwenheim
168:
167:
155:Doctoral students
115:Scientific career
864:
783:
771:"Thoralf Skolem"
748:. North Holland.
703:
701:
699:
672:
670:
650:
609:Skolem's paradox
583:
578:
577:
576:
569:
567:Biography portal
564:
563:
562:
512:, complete, and
506:Peano arithmetic
440:Skolem's paradox
431:and set theory.
263:abstract algebra
181:
176:
144:Doctoral advisor
69:
47:
45:
33:
19:
18:
872:
871:
867:
866:
865:
863:
862:
861:
852:Model theorists
807:
806:
761:
741:
710:
697:
695:
693:richardzach.org
648:
642:Skolem, Thoralf
637:
632:
619:Skolem sequence
579:
574:
572:
565:
560:
558:
555:
448:
399:axiom of choice
325:
259:metamathematics
202:(later renamed
196:
174:
137:
135:Oslo University
106:
94:Oslo University
90:Alma mater
77:
71:
67:
58:
49:
43:
41:
24:
17:
12:
11:
5:
870:
860:
859:
854:
849:
844:
839:
834:
829:
824:
819:
805:
804:
793:
787:Thoralf Skolem
784:
760:
759:External links
757:
756:
755:
752:
749:
740:
737:
736:
735:
734:
733:
730:
727:
724:
709:
706:
705:
704:
684:
681:Fenstad, J. E.
673:
661:(1): 150â161.
636:
633:
631:
628:
627:
626:
621:
616:
614:Skolem problem
611:
606:
601:
596:
591:
585:
584:
570:
554:
551:
520:in his honor.
447:
444:
411:Ernst Schröder
387:model theorist
380:Skolem lattice
337:lattice theory
324:
321:
247:zodiacal light
237:and obtaining
195:
192:
166:
165:
162:
161:
156:
152:
151:
146:
140:
139:
132:
128:
127:
122:
118:
117:
111:
110:
101:
100:Known for
97:
96:
91:
87:
86:
83:
79:
78:
72:
70:(aged 75)
64:
60:
59:
50:
39:
35:
34:
26:
25:
23:Thoralf Skolem
22:
15:
9:
6:
4:
3:
2:
869:
858:
855:
853:
850:
848:
847:Set theorists
845:
843:
840:
838:
835:
833:
830:
828:
825:
823:
820:
818:
815:
814:
812:
802:
798:
794:
792:
788:
785:
782:
778:
777:
772:
768:
763:
762:
753:
750:
747:
743:
742:
731:
728:
725:
722:
721:
719:
715:
712:
711:
694:
690:
685:
682:
678:
674:
669:
664:
660:
657:(in German).
656:
655:
647:
643:
639:
638:
625:
622:
620:
617:
615:
612:
610:
607:
605:
602:
600:
597:
595:
592:
590:
587:
586:
582:
571:
568:
557:
550:
546:
541:
539:
535:
534:undecidable.
533:
532:
527:
526:incompletable
523:
519:
515:
511:
507:
503:
498:
495:
494:prime numbers
491:
487:
483:
479:
475:
470:
468:
464:
463:
457:
453:
443:
441:
437:
432:
430:
426:
425:
420:
416:
412:
408:
404:
403:KĆnig's lemma
400:
396:
392:
388:
383:
381:
377:
373:
370:generated by
369:
365:
360:
358:
354:
353:automorphisms
350:
346:
342:
338:
334:
330:
320:
317:
314:
312:
308:
303:
301:
297:
293:
289:
284:
281:
279:
275:
270:
268:
264:
260:
256:
252:
248:
244:
240:
236:
232:
227:
225:
221:
217:
213:
209:
205:
201:
191:
189:
185:
180:
172:
163:
160:
157:
153:
150:
147:
145:
141:
136:
133:
129:
126:
125:Mathematician
123:
119:
116:
112:
109:
105:
102:
98:
95:
92:
88:
84:
80:
75:
66:23 March 1963
65:
61:
57:
53:
40:
36:
32:
27:
20:
800:
774:
745:
717:
696:. Retrieved
676:
658:
652:
641:
594:Model theory
548:
543:
536:
531:a posteriori
529:
504:proved that
499:
471:
460:
459:Ackermann's
452:completeness
449:
446:Completeness
433:
422:
384:
371:
361:
357:Emmy Noether
333:group theory
326:
318:
315:
310:
306:
304:
285:
282:
273:
271:
242:
228:
197:
170:
169:
131:Institutions
114:
68:(1963-03-23)
822:1963 deaths
817:1887 births
323:Mathematics
300:Ăystein Ore
159:Ăystein Ore
82:Nationality
48:23 May 1887
811:Categories
630:References
528:and hence
510:consistent
502:Presburger
467:Kurt Gödel
341:set theory
200:Kristiania
188:set theory
175:Norwegian:
44:1887-05-23
803:: 99-106.
739:Secondary
698:4 January
514:decidable
500:In 1929,
497:science.
278:Axel Thue
235:electrons
216:chemistry
149:Axel Thue
85:Norwegian
716:, 1967.
644:(1934).
553:See also
538:Hao Wang
478:finitism
474:infinite
364:lattices
76:, Norway
52:SandsvĂŠr
789:at the
635:Primary
220:zoology
212:physics
421:, and
296:Bergen
292:Bergen
261:, and
239:aurora
224:botany
121:Fields
56:Norway
649:(PDF)
522:Gödel
415:Peano
700:2024
450:The
409:and
343:and
222:and
204:Oslo
194:Life
186:and
74:Oslo
63:Died
38:Born
799:,"
663:doi
454:of
813::
779:,
773:,
769:,
691:.
679:,
659:23
651:.
417:,
335:,
331:,
313:.
269:.
257:,
226:.
218:,
214:,
190:.
54:,
702:.
671:.
665::
372:n
173:(
46:)
42:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.