5 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
13550 | To be always happy is to lack knowledge of one half of nature [Seneca] |
13549 | Nothing bad can happen to a good man [Seneca] |
19399 | Prime matter is nothing when it is at rest [Leibniz] |
13548 | The ocean changes in volume in proportion to the attraction of the moon [Seneca] |