display all the ideas for this combination of texts
4 ideas
10885 | Computer proofs don't provide explanations [Horsten] |
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] |
10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |