Resultado da Busca
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.
Thoralf Albert Skolem (Sandsvaer, 23 de maio de 1887 — Oslo, 23 de março de 1963) foi um matemático norueguês, conhecido principalmente por seu trabalho em lógica matemática e teoria dos conjuntos.
Thoralf Skolem was a Norwegian mathematician who worked in mathematical logic and set theory.
Skolem is best known for his work in mathematical logic, including his contribution to the proof of the Lowenheim-Skolem theorem and the construction of the Skolem paradox. The Lowenheim theorem of 1915, as generalized by Skolem in 1920, simply states that any schema satisfiable in some domain is satisfiable in a denumerably infinite domain.
Thoralf Skolem 1887-1963. Herman Ruge Jervell University of Oslo. 1 Life. Thoralf Albert Skolem was born on 23 May 1887 in Sandsvær close to and later incorporated into the city of Kongsberg in Southern Norway 80 km west of Oslo. He grew up in a rural environment.
In 1920 Thoralf Skolem greatly simplified Löwenheim's proof by using what we now call Skolem functions. In a sentence such as ∀x∃y&phi(x,y), noting that the choice of y depends on x, we can make the choice concrete by rephrasing the sentence as ∀x&phi(x,f(x)) where f is the Skolem function that chooses y appropriately given x.
logic. …and of the Norwegian mathematician Thoralf Skolem, a pioneer in metalogic (from 1933). The originally intended, or standard, interpretation takes the ordinary nonnegative integers {0, 1, 2, . . . } as the domain, the symbols 0 and 1 as denoting zero and one, and the symbols + and ·….
