3 ideas
18758 | Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee] |
20653 | Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson] |
7258 | The forefather of modern intuitionism is Richard Price [Price,R, by Dancy,J] |