26 ideas
15924 | Predicative definitions are acceptable in mathematics if they distinguish objects, rather than creating them? [Zermelo, by Lavine] |
20320 | Truth is what unites, and the profound truths create a community [Jaspers] |
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] |
13486 | Not every predicate has an extension, but Separation picks the members that satisfy a predicate [Zermelo, by Hart,WD] |
13020 | The Axiom of Separation requires set generation up to one step back from contradiction [Zermelo, by Maddy] |
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] |
20323 | Freedom needs knowledge, the possibility of arbitrariness, and law [Jaspers] |
20322 | I am aware that freedom is possible, and the freedom is not in theory, but in seeking freedom [Jaspers] |
20324 | My freedom increases as I broaden my vision of possiblities and motives [Jaspers] |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
20321 | The struggle for Existenz is between people who are equals, and are utterly honest [Jaspers] |
20318 | My helplessness in philosophising reveals my being, and begins its upsurge [Jaspers] |
20325 | Once we grasp freedom 'from' things, then freedom 'for' things becomes urgent [Jaspers] |
20315 | 'Existenz' is the potential being, which I could have, and ought to have [Jaspers] |
20317 | Mundane existence is general, falling under universals, but Existens is unique to individuals [Jaspers] |
20319 | We want the correct grasp on being that is neither solipsism nor absorption in the crowd [Jaspers] |
20316 | Every decision I make moves towards or away from fulfilled Existenz [Jaspers] |