Repository | Book | Chapter
(1998) The Lvov-Warsaw school and contemporary philosophy, Dordrecht, Springer.
The first need for a systematic study of functions whose values can be calculated by a finite process (usually called computable) can be found in the Hilbert school. It was connected with the decision problem for first-order logic (and in general, for first-order theories) considered by Hilbert and his students in connection with the Hilbert program. The aim of this program was to justify classical mathematics by finitistic means.
Publication details
DOI: 10.1007/978-94-011-5108-5_22
Full citation:
Murawski, R. (1998)., The contribution of Polish logicians to recursion theory, in K. Kijania-Placek & J. Woleński (eds.), The Lvov-Warsaw school and contemporary philosophy, Dordrecht, Springer, pp. 265-282.
This document is unfortunately not available for download at the moment.