Ideas from 'Hilbert's Programme' by Georg Kreisel [1958], by Theme Structure
[found in 'Philosophy of Mathematics: readings (2nd)' (ed/tr Benacerraf/Putnam) [CUP 1983,052129648x]].
green numbers give full details 
back to texts

expand these ideas
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
17809

Gödel showed that the syntactic approach to the infinite is of limited value

6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics
17810

The study of mathematical foundations needs new nonmathematical concepts

27. Natural Reality / C. SpaceTime / 1. Space / c. Points in space
17811

The natural conception of points ducks the problem of naming or constructing each point
