"I remember that there was a feeling of excitement and interest both in Hilbert’s lecture and in the lecture of von Neumann on the foundations of set theory — a feeling that one now finally was coming to grips with both the axiomatic foundation of mathematics and with the reasons for the applications of mathematics in the natural sciences."