Читать книгу Lógos and Máthma 2 - Roman Murawski - Страница 10

The aim of this chapter is to discuss the meaning of some recent results in the foundations of mathematics – more exactly of the so-called reverse mathematics – for the philosophy of mathematics. In particular, we shall be interested in implications of those results for Hilbert’s program.