7 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
17644 | Metaphysical realism is committed to there being one ultimate true theory [Putnam] |
17648 | It is an illusion to think there could be one good scientific theory of reality [Putnam] |
17643 | Shape is essential relative to 'statue', but not essential relative to 'clay' [Putnam] |
17642 | The old view that sense data are independent of mind is quite dotty [Putnam] |
17645 | An alien might think oxygen was the main cause of a forest fire [Putnam] |