3 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
7810 | The 'Eumenides' of Aeschylus shows blood feuds replaced by law [Aeschylus, by Grayling] |
16689 | The schools said spirits lack extension, and wonder how many could dance on a needle's point [More,H] |