Stanisław Leśniewski’s Radical Formalism

  • R. Miszczyński
Ключові слова: Станіслав Лешневський, основи математики, інтуїтивний формалізм, радикальний формалізм, гра надписів, метаматематика

Анотація

Розглянуто радикальний формалізм Станіслава Лешневського, що використовувався ним для представлення математиченої теорії. На думку автора, це реалізація постулатів так званих формальних арифметиків. Математична теорія представлена як чиста гра з формула‑ ми, позбавленими змісту. Вона регулюється точними правилами, описаними в метамові. Під‑ креслено розходження між математичними підходами Лешневського і Гільберта.

Formalism used by Leśniewski to present mathematical theory is called a radical one. Accord‑ ing 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.

Опубліковано
2017-03-09