hidden pixel

Leopold Löwenheim Information

Leopold Löwenheim (26 June 1878, Krefeld Germany (also birth place of Max Zorn) – 5 May 1957, Berlin) was a German mathematician, known for his work in mathematical logic. The Nazi regime forced him to retire because under the Nuremberg Laws he was considered only three quarters Aryan. In 1943 much of his work was destroyed during a bombing raid on Berlin. Nevertheless, he survived the Second World War, after which he resumed teaching mathematics.

Löwenheim (1915) gave the first proof of what is now known as the Löwenheim–Skolem theorem, often considered the starting point for model theory.

Important publications

Primary:

Secondary:

Seelaso

External links

·  ·Logic
Related articles
Academic areas Argumentation theory · Axiology · Critical thinking · Computability theory · Formal semantics · History of logic · Informal logic · Logic in computer science · Mathematical logic · Mathematics · Metalogic · Metamathematics · Model theory · Philosophical logic · Philosophy · Philosophy of logic · Philosophy of mathematics · Proof theory · Set theory
Foundational concepts Abduction · Analytic truth · Antinomy · A priori · Deduction · Definition · Description · Entailment · Induction · Inference · Logical consequence · Logical form · Logical implication · Logical truth · Name · Necessity · Meaning · Paradox · Possible world · Presupposition · Probability · Reason · Reasoning · Reference · Semantics · Statement · Substitution · Syntax · Truth · Truth value · Validity
Philosophical logic
Critical thinking and Informal logic Analysis · Ambiguity · Belief · Credibility · Evidence · Explanation · Explanatory power · Fact · Fallacy · Inquiry · Opinion · Parsimony · Premise · Propaganda · Prudence · Reasoning · Relevance · Rhetoric · Rigor · Vagueness
Theories of deduction Constructivism · Dialetheism · Fictionalism · Finitism · Formalism · Intuitionism · Logical atomism · Logicism · Nominalism · Platonic realism · Pragmatism · Realism
Metalogic and Metamathematics
Cantor's theorem · Church's theorem · Church's thesis · Consistency · Effective method · Foundations of mathematics · Gödel's completeness theorem · Gödel's incompleteness theorems · Soundness · Completeness · Decidability · Interpretation · Löwenheim–Skolem theorem · Metatheorem · Satisfiability · Independence · Type–token distinction · Use–mention distinction ·
Mathematical logic
General Formal language · Formation rule · Formal system · Deductive system · Formal proof · Formal semantics · Well-formed formula · Set · Element · Class · Classical logic · Axiom · Natural deduction · Rule of inference · Relation · Theorem · Logical consequence · Axiomatic system · Type theory · Symbol · Syntax · Theory
Traditional logic Proposition · Inference · Argument · Validity · Cogency · Syllogism · Square of opposition · Venn diagram
Propositional calculus and Boolean logic Boolean functions · Propositional calculus · Propositional formula · Logical connectives · Quantifiers · Truth tables
Predicate First-order · Quantifiers · Predicate · Second-order · Monadic predicate calculus
Set theory Set · Empty set · Enumeration · Extensionality · Finite set · Function · Subset · Power set · Countable set · Recursive set · Domain · Range · Ordered pair · Uncountable set
Model theory Model · Interpretation · Non-standard model · Finite model theory · Truth value · Validity
Proof theory Formal proof · Deductive system · Formal system · Theorem · Logical consequence · Rule of inference · Syntax
Computability theory Recursion · Recursive set · Recursively enumerable set · Decision problem · Church–Turing thesis · Computable function · Primitive recursive function ·
Non-classical logic
Modal logic Alethic · Axiologic · Deontic · Doxastic · Epistemic · Temporal
Intuitionism

Intuitionistic logic · Constructive analysis · Heyting arithmetic · Intuitionistic type theory · Constructive set theory ·

Fuzzy logic Degree of truth · Fuzzy rule · Fuzzy set · Fuzzy finite element · Fuzzy set operations ·
Substructural logic

Structural rule · Relevance logic · Linear logic

Paraconsistent logic Dialetheism
Description logic Ontology · Ontology language
Logicians
Anderson · Aristotle · Averroes · Avicenna · Bain · Barwise · Bernays · Boole · Boolos · Cantor · Carnap · Church · Chrysippus · Curry · De Morgan · Frege · Geach · Gentzen · Gödel · Hilbert · Kleene · Kripke · Leibniz · Löwenheim · Peano · Peirce · Putnam · Quine · Russell · Schröder · Scotus · Skolem · Smullyan · Tarski · Turing · Whitehead · William of Ockham · Wittgenstein · Zermelo
Lists
Topics Outline of logic · Index of logic articles · Mathematical logic · Boolean algebra · Set theory
Other Logicians · Rules of inference · Paradoxes · Fallacies · Logic symbols
Portal · Category · Outline · WikiProject · Talk · changes
Persondata
Name Lowenheim, Leopold
Alternative names
Short description
Date of birth 1878
Place of birth
Date of death 1957
Place of death
This article about a German mathematician is a stub. You can help Wikipedia by expanding it.·  ·

Categories: 1878 births | 1957 deaths | German mathematicians | 20th-century mathematicians | German logicians | People from Krefeld |

 

The above information uses material from Wikipedia and is licensed under the GNU Free Documentation License.
Some facts may not have been fully verified for accuracy. [Disclaimers]
This page was last archived by our server on Mon Oct 3 09:23:59 2011.
Displaying this page or its contents does not use any Wikimedia Foundation's resources.
The owners of this site proudly support the Wikimedia Foundation.