4 ideas
18284 | Particulars can be verified or falsified, but general statements can only be falsified (conclusively) [Popper] |
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] |