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.
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. Although his father was a teacher, Thoralf came from a farming family with most of his relations being farmers.
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.
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.
Basado en el trabajo del matemático alemán Leopold Löwenheim (1915), el lógico noruego Thoralf Skolem demostró en 1922 que cada teoría consistente de cálculo de predicados de primer orden, [3] como la teoría de conjuntos, tiene un modelo numerable como máximo.
31 de may. de 2021 · The Norwegian mathematician Thoralf Skolem (1887-1963) is not a well-known figure, despite the number and importance of his contributions. He was the author of some 180 articles on diophantine equations, group theory, lattice theory, combinatorics and, not least, mathematical logic and set theory.
