3 ideas
15381 | Dyamic logics model changes between classical states, in action, belief, and computing [Uckelman] |
3061 | Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius] |
15282 | Facts should be deducible from the theory and initial conditions, and prefer the simpler theory [Osiander, by Harré/Madden] |