5 ideas
17699 | Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel] |
20653 | Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson] |
3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |
3979 | The Turing Machine is the best idea yet about how the mind works [Fodor on Turing] |
5321 | In 50 years computers will successfully imitate humans with a 70% success rate [Turing] |