6 ideas
17813 | Löwenheim-Skolem says any theory with a true interpretation has a model in the natural numbers [White,NP] |
17812 | Finite cardinalities don't need numbers as objects; numerical quantifiers will do [White,NP] |
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] |
13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |