12 ideas
| 17833 | The first-order ZF axiomatisation is highly non-categorical [Hallett,M] |
| 17834 | Non-categoricity reveals a sort of incompleteness, with sets existing that the axioms don't reveal [Hallett,M] |
| 17837 | Zermelo allows ur-elements, to enable the widespread application of set-theory [Hallett,M] |
| 17836 | The General Continuum Hypothesis and its negation are both consistent with ZF [Hallett,M] |
| 22717 | Self-interest can fairly divide a cake; first person cuts, second person chooses [Poundstone] |
| 22718 | Formal game theory is about maximising or minimising numbers in tables [Poundstone] |
| 22719 | The minimax theorem says a perfect game of opposed people always has a rational solution [Poundstone] |
| 22720 | Two prisoners get the best result by being loyal, not by selfish betrayal [Poundstone] |
| 22721 | The tragedy in prisoner's dilemma is when two 'nice' players misread each other [Poundstone] |
| 22723 | Do unto others as you would have them do unto you - or else! [Poundstone] |
| 22722 | TIT FOR TAT says cooperate at first, then do what the other player does [Poundstone] |
| 19436 | Bare or primary matter is passive; it is clothed or secondary matter which contains action [Leibniz] |