Resultado de búsqueda
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. His forefathers had been farmers at the farm Skoli for generations and his father was an elementary teacher in the village.
Thoralf Skolem (1934). "Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschließlich Zahlenvariablen" (PDF). Fundamenta Mathematicae (in German). 23 (1): 150–161. Skolem, T. A., 1970. Selected works in logic, Fenstad, J. E., ed. Oslo: Scandinavian University Books.
Thoralf Albert Skolem1887-1963 Norwegian mathematician best known for his contributions to mathematical logic. The Skolem-Löwenheim theorem established that any class of formulas simultaneously satisfiable is also satisfiable in a denumerably infinite domain (1920). Skolem realized this led to a paradox—the apparent conflict between a set's ...
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.
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 conocidas como no absolutas.
Thoralf Albert Skolem (23 May 1887 – 23 March 1963) (Norwegian pronunciation: [ˈtuːɾɑlf ˈskuːləm]) was a Norwegian mathematician known mainly for his work on mathematical logic and set theory. Life. Although Skolem's father was a primary school teacher, most of his extended family were farmers.
17 de nov. de 2018 · Skolem, Thoralf, 1920, “Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem theoreme über dichte Mengen”, Kristiania. Partially translated by S. Bauer Mengelberg in van Heijenoort 1967: 252–263.
