4 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
16383 | Puzzled Pierre has two mental files about the same object [Recanati on Kripke] |
11945 | In addition to laws, God must also create appropriate natures for things [Leibniz] |
19348 | All that is real in motion is the force or power which produces change [Leibniz] |