Ideas of Thoralf Skolem, by Theme

[Norwegian, 1887 - 1963, Professor at the University of Oslo.]

idea number gives full details    |    back to list of philosophers    |     expand these ideas
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
Axiomatising set theory makes it all relative
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
Skolem did not believe in the existence of uncountable sets
5. Theory of Logic / J. Model Theory in Logic / 3. L÷wenheim-Skolem Theorems
If a 1st-order proposition is satisfied, it is satisfied in a denumerably infinite domain
6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics
Integers and induction are clear as foundations, but set-theory axioms certainly aren't
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / b. Against mathematical platonism
Mathematician want performable operations, not propositions about objects