16 ideas
8717 | Hilbert wanted to prove the consistency of all of mathematics (which realists take for granted) [Hilbert, by Friend] |
13472 | Hilbert aimed to eliminate number from geometry [Hilbert, by Hart,WD] |
9546 | Euclid axioms concerns possibilities of construction, but Hilbert's assert the existence of objects [Hilbert, by Chihara] |
18742 | Hilbert's formalisation revealed implicit congruence axioms in Euclid [Hilbert, by Horsten/Pettigrew] |
18217 | Hilbert's geometry is interesting because it captures Euclid without using real numbers [Hilbert, by Field,H] |
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] |
10116 | Hilbert aimed to prove the consistency of mathematics finitely, to show infinities won't produce contradictions [Hilbert, by George/Velleman] |
12756 | Substance is a force for acting and being acted upon [Leibniz] |
12755 | Final causes can help with explanations in physics [Leibniz] |
12760 | Something rather like souls (though not intelligent) could be found everywhere [Leibniz] |
12759 | There are atoms of substance, but no atoms of bulk or extension [Leibniz] |
12718 | Secondary matter is active and complete; primary matter is passive and incomplete [Leibniz] |
11854 | If there is some trace of God in things, that would explain their natural force [Leibniz] |
12758 | It is plausible to think substances contain the same immanent force seen in our free will [Leibniz] |
19408 | To say that nature or the one universal substance is God is a pernicious doctrine [Leibniz] |