When1: 1915
When2: 1920
Who: Thoralf Skolem [Skolem, Thoralf]/Leopold Löwenheim [Löwenheim, Leopold]
What: mathematician
Where: Norway/Germany
Detail: Skolem lived 1887 to 1963. Lowenheim lived 1878 to 1957. If countable sets have formal models, domain is countable {Löwenheim-Skolem theorem}, as proved by Löwenheim [1915] and Skolem [1920]. However, real numbers are not countable {Skolem paradox}. Models {nonstandard model} can have elements that are not countable.
Mathematical Sciences>Mathematics>History>Logic
Outline of Knowledge Database Home Page
Description of Outline of Knowledge Database
Date Modified: 2022.0224