6 ideas
15946 | Cantor developed sets from a progression into infinity by addition, multiplication and exponentiation [Cantor, by Lavine] |
13342 | Carnap defined consequence by contradiction, but this is unintuitive and changes with substitution [Tarski on Carnap] |
13251 | Each person is free to build their own logic, just by specifying a syntax [Carnap] |
15911 | Ordinals are generated by endless succession, followed by a limit ordinal [Cantor, by Lavine] |
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] |