3 ideas
3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |
19216 | Propositions (such as 'that dog is barking') only exist if their items exist [Williamson] |
16591 | Prime matter is nothing but its parts [Vanini] |