6 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
8754 | Logic is dependent on mathematics, not the other way round [Heyting, by Shapiro] |
13174 | A piece of flint contains something resembling perceptions and appetites [Leibniz] |
13175 | Entelechies are analogous to souls, as other minds are analogous to our own minds [Leibniz] |
13172 | What we cannot imagine may still exist [Leibniz] |
13173 | Death is just the contraction of an animal [Leibniz] |