Combining Philosophers
Ideas for David Hilbert, Thomas More and Jody Azzouni
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
8 ideas
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism
17697
|
The existence of an arbitrarily large number refutes the idea that numbers come from experience [Hilbert]
|
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
17698
|
Logic already contains some arithmetic, so the two must be developed together [Hilbert]
|
6. Mathematics / C. Sources of Mathematics / 7. Formalism
10113
|
The grounding of mathematics is 'in the beginning was the sign' [Hilbert]
|
10115
|
Hilbert substituted a syntactic for a semantic account of consistency [Hilbert, by George/Velleman]
|
22293
|
Hilbert said (to block paradoxes) that mathematical existence is entailed by consistency [Hilbert, by Potter]
|
12459
|
The subject matter of mathematics is immediate and clear concrete symbols [Hilbert]
|
6. Mathematics / C. Sources of Mathematics / 8. Finitism
10116
|
Hilbert aimed to prove the consistency of mathematics finitely, to show infinities won't produce contradictions [Hilbert, by George/Velleman]
|
18112
|
Mathematics divides in two: meaningful finitary statements, and empty idealised statements [Hilbert]
|