10 ideas
17818 | How many? must first partition an aggregate into sets, and then logic fixes its number [Yourgrau] |
17822 | Nothing is 'intrinsically' numbered [Yourgrau] |
17817 | Defining 'three' as the principle of collection or property of threes explains set theory definitions [Yourgrau] |
17815 | We can't use sets as foundations for mathematics if we must await results from the upper reaches [Yourgrau] |
17821 | You can ask all sorts of numerical questions about any one given set [Yourgrau] |
6027 | From the fact that some men die, we cannot infer that they all do [Philodemus] |
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] |
22241 | Don't fear god or worry about death; the good is easily got and the terrible easily cured [Philodemus] |