Suchergebnisse
Suchergebnisse:
Albert Thoralf Skolem (* 23. Mai 1887 in Sandsvaer; † 23. März 1963 in Oslo) war ein norwegischer Mathematiker, Logiker und Philosoph . Seine Arbeiten lieferten grundlegende Resultate zur mathematischen Logik, insbesondere zu den Bereichen Modelltheorie und Berechenbarkeit.
Thoralf Albert Skolem ( Norwegian: [ˈtùːrɑɫf ˈskùːlɛm]; 23 May 1887 – 23 March 1963) was a Norwegian mathematician who worked in mathematical logic and set theory . Life. Although Skolem's father was a primary school teacher, most of his extended family were farmers.
Skolem, Thoralf Albert. norwegischer Mathematiker, geb. 23.5.1887 Sandsvaer (Südnorwegen), gest. 23.3.1963 Oslo. Nach dem Schulbesuch in Kristiana (Oslo) studierte der Lehrersohn Skolem dort ab 1905 Mathematik und Naturwissenschaften. Seit 1909 als Assistent arbeitend, legte er 1913 das Staatsexamen ab und weilte 1915/16 zu einem ...
Oslo, Norway. Summary. Thoralf Skolem was a Norwegian mathematician who worked in mathematical logic and set theory. View two larger pictures. Biography. Thoralf Skolem's parents were Helene Olette Vaal and Even Skolem, who was primary school teacher.
Mai 1887 in Sandsvaer; † 23. März 1963 in Oslo) war ein norwegischer Mathematiker, Logiker und Philosoph. Er beschäftigte sich mit zahlreichen Gebieten der mathematischen Grundlagenforschung wie der Prädikatenlogik, Klassenlogik, Rekursionstheorie, Mengenlehre sowie Grundlagen der Arithmetik und lieferte somit grundlegende Resultate zur ...
The genesis of Skolem functions dates back to 1920, when the Norwegian mathematician, Thoralf Albert Skolem, gave a simplified proof of a landmark result in logic, now known as the Löwenheim-Skolem theorem. Leopold Löwenheim had already proved this theorem in 1915. However, Skolem’s 1920 proof was significantly simpler and made use of a key ...
Thoralf Albert Skolem. (1887—1963) Quick Reference. (1887–1963) Norwegian mathematician. The son of a teacher, Skolem was born at Sandsvaer in Norway and educated at the University of Oslo. He joined the faculty in 1911 and was appointed professor of mathematics in 1938, a post he held until his retirement in 1950.
