4 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
Full Idea: The first clear proof of the consistency of the first order predicate logic is found in the 1928 book of Hilbert and Ackermann. | |
From: report of Hilbert,D/Ackermann,W (Principles of Theoretical Logic [1928]) by Michal Walicki - Introduction to Mathematical Logic History E.2.1 |
19392 | I don't recommend universal doubt; we constantly seek reasons for things which are indubitable [Leibniz] |
Full Idea: I do not think it necessary to recommend to people universal doubt ...in fact, we are constantly seeking reasons for thoughts about which there is no doubt at all. | |
From: Gottfried Leibniz (Precepts for Advancing Science and Arts [1680], p.34) | |
A reaction: Such confidence is, of course, asking for trouble. I prefer Peirce's fallibilism - that robust realism is the most coherent view, and the only one worth pursuing and relying on, but you never know.... |
1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
Full Idea: Archelaus was the first person to say that the universe is boundless. | |
From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3 |
5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
Full Idea: Archelaus wrote that life on Earth began in a primeval slime. | |
From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus | |
A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea. |