In spite of the many efforts made to clarify von Neumann’s methodology of science, one crucial point seems to have been disregarded in recent literature: his closeness to Hilbert’s spirit. In this paper I shall claim that the scientific methodology adopted by von Neumann in his later foundational reflections originates in the attempt to revaluate Hilbert’s axiomatics in the light of Gödel’s incompleteness theorems. Indeed, axiomatics continues to be pursued by the Hungarian mathematician in the spirit of Hilbert’s school. I (...) shall argue this point by examining four basic ideas embraced by von Neumann in his foundational considerations: a) the conservative attitude to assume in mathematics; b) the role that mathematics and the axiomatic approach have to play in all that is science; c) the notion of success as an alternative methodological criterion to follow in scientific research; d) the empirical and, at the same time, abstract nature of mathematical thought. Once these four basic ideas have been accepted, Hilbert’s spirit in von Neumann’s methodology of science will become clear. (shrink)

It is argued that in his critique of standard nonrelativistic quantum mechanics Einstein formulated three requirements as necessary for a physical theory to be compatible with the field-theorectical paradigm, and it is shown that local, relativistic, algebraic quantum field theory typically satisfies those criteria-although, there are still open questions concerning the status of operational separability of quantum systems localized in space like separated space-time regions. It is concluded that local algebraic quantum field theory can be viewed as a research program (...) that Einstein suggested informally in 1948 and that was realized only later in mathematical physics. (shrink)