Repository | Book | Chapter
(2003) Philosophy and logic in search of the Polish tradition, Dordrecht, Springer.
Gödel's incompleteness theorems belong to the most important results of logic and the foundations of mathematics. They indicated the phenomenon of incompleteness of first order systems and in this way struck Hilbert's program of clarification and justification of the classical (infinite) mathematics by finitistic methods. They showed that this program cannot be fully realized in the original form by indicating some limitations of the axiomatic-deductive method.1
Publication details
DOI: 10.1007/978-94-017-0249-2_15
Full citation:
Murawski, R. (2003)., Reactions to the discovery of the incompleteness phenomenon, in J. Hintikka, T. Czarnecki, T. Placek & A. Rojszczak (eds.), Philosophy and logic in search of the Polish tradition, Dordrecht, Springer, pp. 213-227.
This document is unfortunately not available for download at the moment.