3 ideas
9226 | If mathematical theories conflict, it may just be that they have different subject matter [Field,H] |
16695 | Successive entities are in flux, flowing in existence, with different parts at different times [Oresme] |
3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |