display all the ideas for this combination of texts
4 ideas
17809 | Gödel showed that the syntactic approach to the infinite is of limited value [Kreisel] |
18518 | Infinite numbers are qualitatively different - they are not just very large numbers [Heil] |
17810 | The study of mathematical foundations needs new non-mathematical concepts [Kreisel] |
18500 | How could structures be mathematical truthmakers? Maths is just true, without truthmakers [Heil] |