37 ideas
15924 | Predicative definitions are acceptable in mathematics if they distinguish objects, rather than creating them? [Zermelo, by Lavine] |
23853 | Truth is not a object we love - it is the radiant manifestation of reality [Weil] |
17608 | We take set theory as given, and retain everything valuable, while avoiding contradictions [Zermelo] |
17607 | Set theory investigates number, order and function, showing logical foundations for mathematics [Zermelo] |
10870 | ZFC: Existence, Extension, Specification, Pairing, Unions, Powers, Infinity, Choice [Zermelo, by Clegg] |
13012 | Zermelo published his axioms in 1908, to secure a controversial proof [Zermelo, by Maddy] |
17609 | Set theory can be reduced to a few definitions and seven independent axioms [Zermelo] |
13017 | Zermelo introduced Pairing in 1930, and it seems fairly obvious [Zermelo, by Maddy] |
13015 | Zermelo used Foundation to block paradox, but then decided that only Separation was needed [Zermelo, by Maddy] |
13020 | The Axiom of Separation requires set generation up to one step back from contradiction [Zermelo, by Maddy] |
13486 | Not every predicate has an extension, but Separation picks the members that satisfy a predicate [Zermelo, by Hart,WD] |
13487 | In ZF, the Burali-Forti Paradox proves that there is no set of all ordinals [Zermelo, by Hart,WD] |
18178 | For Zermelo the successor of n is {n} (rather than n U {n}) [Zermelo, by Maddy] |
13027 | Zermelo believed, and Von Neumann seemed to confirm, that numbers are sets [Zermelo, by Maddy] |
9627 | Different versions of set theory result in different underlying structures for numbers [Zermelo, by Brown,JR] |
23855 | Creation produced a network or web of determinations [Weil] |
8840 | There are five possible responses to the problem of infinite regress in justification [Cleve] |
8841 | Modern foundationalists say basic beliefs are fallible, and coherence is relevant [Cleve] |
23848 | The aesthete's treatment of beauty as amusement is sacreligious; beauty should nourish [Weil] |
23854 | Beauty is the proof of what is good [Weil] |
23837 | Respect is our only obligation, which can only be expressed through deeds, not words [Weil] |
23844 | The most important human need is to have multiple roots [Weil] |
23838 | The need for order stands above all others, and is understood via the other needs [Weil] |
23836 | Obligations only bind individuals, not collectives [Weil] |
23840 | A citizen should be able to understand the whole of society [Weil] |
23843 | Even the poorest should feel collective ownership, and participation in grand display [Weil] |
23846 | Culture is an instrument for creating an ongoing succession of teachers [Weil] |
23839 | A lifelong head of society should only be a symbol, not a ruler [Weil] |
23842 | Party politics in a democracy can't avoid an anti-democratic party [Weil] |
23847 | Socialism tends to make a proletariat of the whole population [Weil] |
23845 | The capitalists neglect the people and the nation, and even their own interests [Weil] |
23841 | By making money the sole human measure, inequality has become universal [Weil] |
23835 | People have duties, and only have rights because of the obligations of others to them [Weil] |
23852 | To punish people we must ourselves be innocent - but that undermines the desire to punish [Weil] |
23850 | The soldier-civilian distinction should be abolished; every citizen is committed to a war [Weil] |
23851 | Education is essentially motivation [Weil] |
23849 | Religion should quietly suffuse all human life with its light [Weil] |