Stanisław Leśniewski’s Radical Formalism

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

Анотація

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

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