display all the ideas for this combination of texts
3 ideas
12688 | Mathematics is the formal study of the categorical dimensions of things [Ellis] |
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] |