3 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
18201 | General principles can be obvious in mathematics, but bold speculations in empirical science [Parsons,C] |
23223 | The word 'respect' ranges from mere non-interference to the highest levels of reverence [Blackburn] |