26 ideas
10041 | Impredicative Definitions refer to the totality to which the object itself belongs [Gödel] |
17884 | Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner] |
17893 | 'Reflection principles' say the whole truth about sets can't be captured [Koellner] |
21716 | In simple type theory the axiom of Separation is better than Reducibility [Gödel, by Linsky,B] |
10035 | Mathematical Logic is a non-numerical branch of mathematics, and the supreme science [Gödel] |
10042 | Reference to a totality need not refer to a conjunction of all its elements [Gödel] |
17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
10038 | A logical system needs a syntactical survey of all possible expressions [Gödel] |
10046 | The generalized Continuum Hypothesis asserts a discontinuity in cardinal numbers [Gödel] |
17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |
17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
10039 | Some arithmetical problems require assumptions which transcend arithmetic [Gödel] |
17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
10043 | Mathematical objects are as essential as physical objects are for perception [Gödel] |
10045 | Impredicative definitions are admitted into ordinary mathematics [Gödel] |
23814 | Every human yearns for an unattainable transcendent good [Weil] |
23824 | Where human needs are satisfied we find happiness, friendship and beauty [Weil] |
23815 | We cannot equally respect what is unequal, so equal respect needs a shared ground [Weil] |
23823 | Life needs risks to avoid sickly boredom [Weil] |
23822 | We all need to partipate in public tasks, and take some initiative [Weil] |
23817 | We need both equality (to attend to human needs) and hierarchy (as a scale of responsibilities) [Weil] |
23819 | Deliberate public lying should be punished [Weil] |
23818 | We have liberty in the space between nature and accepted authority [Weil] |
23820 | People need personal and collective property, and a social class lacking property is shameful [Weil] |
23821 | Crime should be punished, to bring the perpetrator freely back to morality [Weil] |
23816 | Attention to a transcendent reality motivates a duty to foster the good of humanity [Weil] |