14 ideas
10041 | Impredicative Definitions refer to the totality to which the object itself belongs [Gödel] |
8956 | What is a singleton set, if a set is meant to be a collection of objects? [Szabó] |
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] |
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] |
10039 | Some arithmetical problems require assumptions which transcend arithmetic [Gödel] |
10043 | Mathematical objects are as essential as physical objects are for perception [Gödel] |
10045 | Impredicative definitions are admitted into ordinary mathematics [Gödel] |
8953 | Abstract entities don't depend on their concrete entities ...but maybe on the totality of concrete things [Szabó] |
8954 | Geometrical circles cannot identify a circular paint patch, presumably because they lack something [Szabó] |
8955 | Abstractions are imperceptible, non-causal, and non-spatiotemporal (the third explaining the others) [Szabó] |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |