5 ideas
18844 | You would cripple mathematics if you denied Excluded Middle [Hilbert] |
18200 | Very large sets should be studied in an 'if-then' spirit [Putnam] |
18199 | Indispensability strongly supports predicative sets, and somewhat supports impredicative sets [Putnam] |
8857 | We must quantify over numbers for science; but that commits us to their existence [Putnam] |
1556 | By nature people are close to one another, but culture drives them apart [Hippias] |