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... 12 KB (1,513 words) - 19:38, 22 January 2024 |
the Löwenheim–Skolem theorem is a theorem on the existence and cardinality of models, named after Leopold Löwenheim and Thoralf Skolem. The precise formulation... 22 KB (2,767 words) - 08:16, 16 March 2024 |
is an atomic prime model over A. Skolem normal form is named after the late Norwegian mathematician Thoralf Skolem. Herbrandization, the dual of Skolemization... 11 KB (1,907 words) - 17:35, 15 April 2024 |
logic and philosophy, Skolem's paradox is a seeming contradiction that arises from the downward Löwenheim–Skolem theorem. Thoralf Skolem (1922) was the first... 18 KB (2,433 words) - 11:52, 20 March 2024 |
the logical language itself. The language of ZFC, with the help of Thoralf Skolem, turned out to be that of first-order logic. Most sets commonly encountered... 31 KB (4,602 words) - 15:51, 18 April 2024 |
theory of central simple algebras. The theorem was first published by Thoralf Skolem in 1927 in his paper Zur Theorie der assoziativen Zahlensysteme (German:... 4 KB (658 words) - 04:50, 25 January 2024 |
in Economic History Thoralf Sandaker (born 1923), Norwegian former rower who competed in the 1948 Summer Olympics Thoralf Skolem (1887–1963), Norwegian... 1 KB (192 words) - 21:52, 27 March 2024 |
zero form a regularly repeating pattern. This result is named after Thoralf Skolem (who proved the theorem for sequences of rational numbers), Kurt Mahler... 5 KB (701 words) - 02:44, 4 January 2024 |
Skolem arithmetic is the first-order theory of the natural numbers with multiplication, named in honor of Thoralf Skolem. The signature of Skolem arithmetic... 13 KB (1,958 words) - 08:03, 6 April 2024 |
itself a set. The preceding form of separation was introduced in 1930 by Thoralf Skolem as a refinement of a previous, non-first-order form by Zermelo. The... 11 KB (1,669 words) - 09:13, 10 January 2024 |
values F(0) = 0 and F(1) = 1. The Skolem problem is named after Thoralf Skolem, because of his 1933 paper proving the Skolem–Mahler–Lech theorem on the zeros... 5 KB (572 words) - 20:18, 18 January 2023 |
Proceedings of Symposia in Pure Mathematics Volume 13, Part II, pp. 207–214 Skolem, Thoralf (1923), Axiomatized set theory Reprinted in From Frege to Gödel, van... 24 KB (2,937 words) - 12:39, 8 April 2024 |
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo... 22 KB (2,778 words) - 03:51, 9 April 2024 |
unique function. Primitive recursive arithmetic was first proposed by Thoralf Skolem in 1923. The current terminology was coined by Rózsa Péter (1934) after... 36 KB (6,723 words) - 00:04, 29 February 2024 |
Zermelo–Fraenkel set theory (redirect from Zermelo-Fraenkel-Skolem set theory) property, whose operational meaning was not clear. In 1922, Fraenkel and Thoralf Skolem independently proposed operationalizing a "definite" property as one... 48 KB (6,317 words) - 21:53, 30 April 2024 |
theory (ZFC). The axiom was independently discovered and announced by Thoralf Skolem later in the same year (and published in 1923). Zermelo himself incorporated... 21 KB (3,440 words) - 22:07, 27 November 2023 |
early as 1923 by Skolem, even before Gödel's first incompleteness theorem. Skolem argued on the basis of what is now known as Skolem's paradox, and it... 30 KB (3,906 words) - 15:00, 14 April 2024 |
outside this initial segment. The construction of such models is due to Thoralf Skolem (1934). Non-standard models of arithmetic exist only for the first-order... 10 KB (1,275 words) - 21:48, 27 December 2023 |
German mathematician Leopold Löwenheim (1915) the Norwegian logician Thoralf Skolem showed in 1922 that every consistent theory of first-order predicate... 17 KB (2,672 words) - 17:37, 18 April 2024 |
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo... 11 KB (1,631 words) - 08:10, 28 April 2024 |
formula. Thoralf Skolem had considered the Skolemizations of formulas in prenex form as part of his proof of the Löwenheim–Skolem theorem (Skolem 1920).... 4 KB (591 words) - 17:35, 15 April 2024 |
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo... 12 KB (1,482 words) - 12:13, 17 March 2024 |
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo... 20 KB (2,818 words) - 05:24, 17 April 2024 |
Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo... 9 KB (1,262 words) - 02:59, 23 February 2024 |
axioms, with the original numbering. In 1922, Abraham Fraenkel and Thoralf Skolem independently improved Zermelo's axiom system. The resulting system... 11 KB (1,195 words) - 17:22, 19 March 2024 |
called S3. 1920 - Thoralf Skolem proves the (downward) Löwenheim-Skolem theorem using the axiom of choice explicitly. 1922 - Thoralf Skolem proves a weaker... 8 KB (948 words) - 18:00, 17 November 2023 |
closely related to the halting problem. His only known PhD student was Thoralf Skolem. The esoteric programming language Thue is named after him. Thue, A... 3 KB (229 words) - 15:56, 7 February 2024 |
automatisation. In 1920, Thoralf Skolem simplified a previous result by Leopold Löwenheim, leading to the Löwenheim–Skolem theorem and, in 1930, to the... 28 KB (2,891 words) - 23:29, 10 February 2024 |