Resultado de búsqueda
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.
- Norwegian
- Mathematician
Thoralf Skolem was a Norwegian mathematician who worked in mathematical logic and set theory.
Thoralf Albert Skolem ( noruego: [ˈtùːrɑɫf ˈskùːlɛm]; 23 de mayo de 1887 - 23 de marzo de 1963) fue un matemático noruego que trabajó en lógica matemática y teoría de conjuntos.
En lógica matemática y filosofía, la paradoja de Skolem es una aparente contradicción que surge del teorema de Löwenheim-Skolem descendente. Thoralf Skolem (1922) fue el primero en discutir los aspectos aparentemente contradictorios del teorema y en descubrir la relatividad de las nociones de la teoría de conjuntos ahora ...
31 de may. de 2021 · El matemático noruego Thoralf Skolem (1887–1963) no es una figura muy conocida, pese al número y la importancia de sus contribuciones. Fue autor de unos 180 artículos sobre ecuaciones diofánticas, teoría de grupos, teoría de retículos, combinatoria y, no en último lugar, sobre lógica matemática y teoría de conjuntos.
24 de abr. de 2024 · 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 ...
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 ·….
