Logique hilbertienne et psychologie. (Q562809)

Die Verf. sehen in der \textit{Hilbert}schen Beweistheorie eine psychologische Reaktion auf den realistischen Logizismus \textit{Russell}s einerseits und den Intuitionismus \textit{Brouwer}s andererseits, in der eine ganz andersartige Geisteshaltung zum Ausdruck kommt, die übrigens geeignet erscheint, die beiden streitenden Parteien zu versöhnen. Diese Geisteshaltung, d. h. die \textit{Hilbert}sche Grundeinstellung mit ihrer Unterscheidung von formaler Mathematik und finit-anschaulicher Metamathematik, findet eine gute Charakterisierung.