Reactions to the discovery of the incompleteness phenomenon
pp. 213-227
Abstract
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
Published in:
Hintikka Jaakko, Czarnecki Tadeusz, Placek Tomasz, Rojszczak Artur (2003) Philosophy and logic in search of the Polish tradition: essays in honour of jan Woleński on the occasion of his 60th birthday. Dordrecht, Springer.
Pages: 213-227
DOI: 10.1007/978-94-017-0249-2_15
Full citation:
Murawski Roman (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, 213–227.