PL EN


Journal
2018 | 26 | 3(103) | 99-112
Article title

O niektórych inspiracjach Hilbertowskiego programu formalizmu

Title variants
EN
On Some Inspirations of Hilbert’s Formalism
Languages of publication
PL
Abstracts
EN
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.
Journal
Year
Volume
26
Issue
Pages
99-112
Physical description
Contributors
  • Wydział Filozoficzny, Uniwersytet Papieski Jana Pawła II w Krakowie, ul. Kanonicza 9, 31-002 Kraków
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.desklight-26edb763-b4ff-4fd6-a98f-02fb99c4fd46
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.