11 ideas
8594 | People have had good reasons for thinking that the circle has been squared [Shoemaker] |
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
10304 | Very few things in set theory remain valid in intuitionist mathematics [Bernays] |
10303 | Restricted Platonism is just an ideal projection of a domain of thought [Bernays] |
10306 | Mathematical abstraction just goes in a different direction from logic [Bernays] |
8596 | Inability to measure equality doesn't make all lengths unequal [Shoemaker] |
8597 | We couldn't verify the earth's rotation if everyone simultaneously fell asleep [Shoemaker] |
8593 | Maybe billions of changeless years have elapsed since my last meal [Shoemaker] |
8598 | If things turn red for an hour and then explode, we wouldn't say the redness was the cause [Shoemaker] |
4226 | If three regions 'freeze' every three, four and five years, after sixty years everything stops for a year [Shoemaker, by Lowe] |
8595 | If three regions freeze every 3rd, 4th and 5th year, they all freeze together every 60 years [Shoemaker] |