Stanisław Leśniewski’s understanding of the role of formal language of mathematics
Formalism used by Leśniewski to present mathematical theory is called a radical one. According to the author, it is the implementation of the postulates of the so-called formal arithmeticians. Mathematical theory is presented as a pure game of formulas devoid of content. It is governed by the precise rules described in the metalanguage. The author stresses the difference between Leśniewski’s and Hilbert’s mathematical approaches.
1978 ◽
Vol 36
(1)
◽
pp. 176-177
Keyword(s):
Keyword(s):
2018 ◽
pp. 100-106
2019 ◽
Keyword(s):