3 ideas
18758 | Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee] |
7258 | The forefather of modern intuitionism is Richard Price [Price,R, by Dancy,J] |
16707 | Cold and hot are the swiftness and slowness of corpuscular motion [Beeckman] |