Olszewski, Adam
(Wydawnictwo Naukowe Papieskiej Akademii Teologicznej w Krakowie, 2021)
The present paper is devoted to a discussion of the role of Church’s thesis in setting limits to the cognitive possibilities of mathematics. The specific aim is to analyse the formalized theory of arithmetic as a fundamental ...