3 ideas
14238 | A class is an aggregate of objects; if you destroy them, you destroy the class; there is no empty class [Frege] |
9226 | If mathematical theories conflict, it may just be that they have different subject matter [Field,H] |
3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |