6 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
10670 | A 'singulariser' converts a plural like 'number of' to a syntactically neutral form [Cartwright,H, by Hossack] |
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] |