3 ideas
17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |
7331 | A theory of meaning comes down to translating sentences into Fregean symbolic logic [Davidson, by Macey] |