3 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 |
2975 | That honey is sweet I do not affirm, but I agree that it appears so [Timon] |
Full Idea: That honey is sweet I do not affirm, but I agree that it appears so. | |
From: Timon (On Sensations (frags) [c.285 BCE]), quoted by Diogenes Laertius - Lives of Eminent Philosophers 09.104-5 |
14014 | Space alone, and time alone, will fade away, and only their union has an independent reality [Minkowski] |
Full Idea: Henceforth, space by itself, and time by itself, are doomed to fade away into mere shadows, and only a kind of union of the two will preserve an independent reality. | |
From: Hermann Minkowski (Space and Time [1908], Intro) | |
A reaction: Notice the qualification that it is a 'kind of' union. Deep confusion arises from exaggerating the analogy between space and time. Craig Bourne remarks (2006:157) that this shows independence of measurement, not of reality |