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,0-521-29648-x]].

green numbers give full details    |     back to texts     |     expand these ideas

6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
Gödel showed that the syntactic approach to the infinite is of limited value
6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics
The study of mathematical foundations needs new non-mathematical concepts
27. Natural Reality / C. Space-Time / 1. Space / c. Points in space
The natural conception of points ducks the problem of naming or constructing each point