3 ideas
18189 | ZFC could contain a contradiction, and it can never prove its own consistency [MacLane] |
Full Idea: We have at hand no proof that the axioms of ZFC for set theory will never yield a contradiction, while Gödel's second theorem tells us that such a consistency proof cannot be conducted within ZFC. | |
From: Saunders MacLane (Mathematics: Form and Function [1986], p.406), quoted by Penelope Maddy - Naturalism in Mathematics | |
A reaction: Maddy quotes this, while defending set theory as the foundation of mathematics, but it clearly isn't the most secure foundation that could be devised. She says the benefits of set theory do not need guaranteed consistency (p.30). |
19589 | The whole point of a monarch is that we accept them as a higher-born, ideal person [Novalis] |
Full Idea: The distinguishing character of the monarchy lies precisely in the fact of belief in a higher-born person, of voluntary acceptance of an ideal person. I cannot choose a leader from among my peers. | |
From: Novalis (Fath and Love, or the King and Queen [1798], 18) | |
A reaction: Novalis was passionately devoted to the new king and queen of Prussia, only a few years after the French Revolution. This attitude seems to me unchanged among monarchists in present day Britain. Genetics has undermined 'higher-born'. |
9425 | Lewis later proposed the axioms at the intersection of the best theories (which may be few) [Mumford on Lewis] |
Full Idea: Later Lewis said we must choose between the intersection of the axioms of the tied best systems. He chose for laws the axioms that are in all the tied systems (but then there may be few or no axioms in the intersection). | |
From: comment on David Lewis (Subjectivist's Guide to Objective Chance [1980], p.124) by Stephen Mumford - Laws in Nature |