13 ideas
8921 | Structuralism is now common, studying relations, with no regard for what the objects might be [Hellman] |
8698 | Modal structuralism says mathematics studies possible structures, which may or may not be actualised [Hellman, by Friend] |
9557 | Statements of pure mathematics are elliptical for a sort of modal conditional [Hellman, by Chihara] |
10263 | Modal structuralism can only judge possibility by 'possible' models [Shapiro on Hellman] |
8922 | Maybe mathematical objects only have structural roles, and no intrinsic nature [Hellman] |
20653 | Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson] |
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] |
22722 | TIT FOR TAT says cooperate at first, then do what the other player does [Poundstone] |
22723 | Do unto others as you would have them do unto you - or else! [Poundstone] |