Albert Thoralf Skolem

Albert Thoralf Skolem

Albert Thoralf Skolem ( Sandsvær , 23 mai 1887 - Oslo , 23 martie 1963 ) a fost un matematician norvegian , cunoscut mai ales pentru realizările sale în logica matematică și teoria mulțimilor .

Biografie

În 1905 a intrat la Universitatea din Kristiania, pe atunci numele de Oslo , pentru a studia matematică, dar a studiat și fizică, chimie, botanică și zoologie. În 1909 a devenit asistent al lui Kristian Birkeland , un fizician renumit pentru experiențele sale despre fenomene asemănătoare cu aurora boreală . În 1913 a susținut un examen cu o disertație strălucită despre algebră și logică, în timp ce continua să lucreze în fizică. În 1915 a petrecut un semestru de studii la Gottingen .

În 1918 a devenit lector de matematică și a pregătit o teză de doctorat sub conducerea lui Axel Thue , care a murit în 1922, cu trei ani înainte de prezentarea disertației. Din 1930 a lucrat la Bergen într-un institut de cercetare care îi permite să lucreze calm, dar izolat. În 1938 s- a întors în capitală, numită acum Oslo , pentru a preda algebra și teoria numerelor la universitate. Retragerea sa este în 1957 , dar continuă să efectueze cercetări productive până la ultimele sale zile.

Producția lui Skolem este foarte mare, dar el a lucrat destul de izolat și multe dintre descoperirile sale au fost găsite de alții în mod independent. El s-a ocupat de ecuații diofantine , de teoria rețelelor distributive , dar mai ales de logica matematică . În această zonă a extins opera lui Leopold Löwenheim . El a demonstrat că o teorie bazată pe calculul predicatelor de ordinul întâi are un model, acesta fiind contabil, chiar fără a folosi axioma de alegere, dar folosind lema lui König . El a rafinat sistemul de axiome al lui Zermelo .

El a dezvoltat teoria funcțiilor recursive pentru a evita paradoxurile infinitului. A contribuit la teoria numerelor . El a construit un model non-standard de aritmetică. El a publicat ceea ce este acum cunoscut sub numele de teorema Skolem-Noether în norvegiană înainte ca Emmy Noether să o găsească independent.

Bibliografie

• Geraldine Brady (2000), De la Peirce la Skolem . Olanda de Nord.
• Jean Van Heijenoort (1967), O carte sursă despre logica matematică: 1879-1931 . Harvard University Press. Traducere în engleză a principalelor articole din Skolem.

Elemente conexe

• Teorema Löwenheim-Skolem (slabă)
• Skolemizare , funcție Skolem, formă normală Skolem
• Teorema lui Skolem-Noether

Alte proiecte

• Wikimedia Commons conține imagini sau alte fișiere despre Albert Thoralf Skolem

linkuri externe

• Albert Thoralf Skolem , în Dicționar de filosofie , Institutul Enciclopediei Italiene , 2009.
• Albert Thoralf Skolem , pe Sapienza.it , De Agostini .
• ( EN ) Albert Thoralf Skolem , în Encyclopedia Britannica , Encyclopædia Britannica, Inc.
• (EN) Thoralf Skolem , de la MacTutor , Universitatea din St Andrews, Scoția.
• (EN) Thoralf Skolem , de la Mathematics Genealogia Project , North Dakota State University.
• ( RO ) Lucrări de Albert Thoralf Skolem , în Biblioteca deschisă , Arhiva Internet .

Portal Biografii

Portalul de matematică