4 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
19369 | Lull's combinatorial art would articulate all the basic concepts, then show how they combine [Lull, by Arthur,R] |
7811 | Sophoclean heroes die terrible deaths when they oppose the new Athenian values [Sophocles, by Grayling] |
19371 | Nine principles of God: goodness, greatness, eternity, power, wisdom, will, virtue, truth and glory [Lull, by Arthur,R] |