16 ideas
6259 | Why can't a wise man doubt everything? [Montaigne] |
6263 | No wisdom could make us comfortably walk a wide beam if it was high in the air [Montaigne] |
17892 | For clear questions posed by reason, reason can also find clear answers [Gödel] |
6258 | Virtue is the distinctive mark of truth, and its greatest product [Montaigne] |
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] |
13163 | Circles must be bounded, so cannot be infinite [Leibniz] |
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] |
6262 | We lack some sense or other, and hence objects may have hidden features [Montaigne] |
6260 | Sceptics say there is truth, but no means of making or testing lasting judgements [Montaigne] |
6261 | The soul is in the brain, as shown by head injuries [Montaigne] |
13162 | Sloth's Syllogism: either it can't happen, or it is inevitable without my effort [Leibniz] |
19339 | Evil is a negation of good, which arises from non-being [Leibniz] |
13164 | God only made sin possible because a much greater good can be derived from it [Leibniz] |