3 ideas
15381 | Dyamic logics model changes between classical states, in action, belief, and computing [Uckelman] |
18758 | Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee] |
1513 | The Egyptians were the first to say the soul is immortal and reincarnated [Herodotus] |