10 ideas
17892 | For clear questions posed by reason, reason can also find clear answers [Gödel] |
9188 | Gödel proved that first-order logic is complete, and second-order logic incomplete [Gödel, by Dummett] |
10620 | Originally truth was viewed with total suspicion, and only demonstrability was accepted [Gödel] |
17883 | Gödel's Theorems did not refute the claim that all good mathematical questions have answers [Gödel, by Koellner] |
17885 | Gödel eventually hoped for a generalised completeness theorem leaving nothing undecidable [Gödel, by Koellner] |
10614 | The real reason for Incompleteness in arithmetic is inability to define truth in a language [Gödel] |
14286 | In nearby worlds where A is true, 'if A,B' is true or false if B is true or false [Stalnaker] |
14285 | A possible world is the ontological analogue of hypothetical beliefs [Stalnaker] |
18699 | Carnap tried to define all scientific predicates in terms of primitive relations, using type theory [Carnap, by Button] |
12131 | All concepts can be derived from a few basics, making possible one science of everything [Carnap, by Brody] |