O niektórych inspiracjach Hilbertowskiego programu formalizmu

Abstrakt

Hilbert’s program of formalism was undoubtedly a result of many mathematical, logical, and philosophical factors. The aim of this paper is to indicate some rarely highlighted contexts. One important goal of Hilbert’s program was to prove the consistency of arithmetic. The paper shows that Hilbert did not begin the study of this issue only after the discovery of Russell’s paradox. The issue of the consistency of the arithmetic of real numbers was associated with the discovery — by Burali-Forti and Cantor — of the first set-theoretical antinomy, i.e. the antinomy of the greatest ordinal number. Hilbert, already in 1899, asked whether the set of real numbers — to use Cantor’s terminology — was a consistent collection. He then raised the issue of the consistency of the arithmetic of natural numbers in 1904, after the discovery of Russell’s paradox. Fundamental for Hilbert’s mature program of formalism was the distinction between the finitistic and the infinitistic
mathematics. The paper points out that the source of this distinction can be found in Brouwer’s proof-theoretical and constructivist criticism of certain theorems of the classical logic. So significant was the criticism that Hilbert had to take it into account in his formalistic reconstruction of classical mathematics. The result was precisely his distinction between the finitistic and the infinitistic mathematics.