Combining Philosophers
Ideas for H.Putnam/P.Oppenheim, Thoralf Skolem and Arend Heyting
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
3 ideas
6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics
17880
|
Integers and induction are clear as foundations, but set-theory axioms certainly aren't [Skolem]
|
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / b. Against mathematical platonism
17881
|
Mathematician want performable operations, not propositions about objects [Skolem]
|
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
8754
|
Logic is dependent on mathematics, not the other way round [Heyting, by Shapiro]
|