4 ideas
16886 | The truth of an axiom must be independently recognisable [Frege] |
3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |
1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |