3 ideas
9558 | All scientific tests will verify mathematics, so it is a background, not something being tested [Sober] |
3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |
20064 | Actions are not mere effects of reasons, but are under their control [Audi,R] |