5 ideas
18281 | In mathematics everything is algorithm and nothing is meaning [Wittgenstein] |
3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |
6606 | Consider: "Imagine this butterfly exactly as it is, but ugly instead of beautiful" [Wittgenstein] |
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] |