1958 | Hilbert's Programme |
05 | p.212 | 17809 | Gödel showed that the syntactic approach to the infinite is of limited value |
06 | p.213 | 17810 | The study of mathematical foundations needs new non-mathematical concepts |
13 | p.220 | 17811 | The natural conception of points ducks the problem of naming or constructing each point |