Leopold Löwenheim: Leopold Löwenheim (1878-1957) was a German mathematician who worked on mathematical logic. He is best known for the Löwenheim-Skolem theorem, which states that every first-order theory with an infinite model also has a countable model. See also Models, Model theory, Satisfaction, Satisfiability, Infinity, Countability, Real numbers, Numbers, Word meaning, Reference, Ambiguity._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. |