Romanian Journal of Information Technology and Automatic Control
Godel’s Paradox and its Implications
Paul Sfetcu
psfetcu@yahoo.com
National Institute for Research & Development of Informatics – ICI Bucharest
Abstract: In this article we point out that Gödel’s paradox is obtained regardless the rules set out for definitions adn as such in cannot imply anything neither for mathematics, or the formal systems that tend to account for their progress.
Keywords: paradox, definition, proof.
REFERENCES:
- ARISTOTELES. Organon, trad. franc., J. Tricot, Ed. J. Vrin, Paris, 1941.
- BRUNSCHWICG, L. Les étapes de la philosophie mathématique, Alcan, Paris, 1929.
- CARNAP, R. Logische Syntax der Sprache, Springer, Viena, 1934;
- CARNAP, R. Die Antinomien und die Unvollständigheit der Mathematik, în „Monatshefte für Mathematik und Physik”, 1934.
- DUMITRIU, A. Soluţia paradoxelor logico-matematice, Ed. ştiinţifică, 1966.
- DUMITRIU, A. Limitele sistemelor formale, în lucrarea „Eseuri”, 1987.
- FRAENKEL A.; J. BAR-HILLEL. Foundations of Set Theory, North-Holland Publishing Company, 1958.
- GÖDEL, K. Ueber formal unentscheidbare Sätze der Principia Mathematica und werwandter Systeme I, în „Monatshefte f. Math. und Physik”, 1931.
- LADRIÈRE, J. Les limitations internes des formalismes, Paris, 1938.
- MOSTOWSKI, A. The Present State of Investigations on the Foundations of Mathematics, Varşovia, 1955.
- MOSTOWSKI, A. A Stumbling Block in Constructive Mathematics, în „Journal of Symbolic Logic”, vol. 18, 1935.
- RUSSELL, B.; WHITEHEAD, A. Principia mathematica, Cambridge University Press, vol. I, 1910; vol. II, 1912; vol. III, 1913.
- TARSKI, A. Der Wahrheitsbegriff in den formalisierten Sprachen, în „Studia Philosophica”, Leopoli, 1935.
- MOSTOWSKI, A. A Stumbling Block in Constructive Mathematics, în „Journal of Symbolic Logic”, vol. 18, 1935.
- WITTGENSTEIN, L. Tractatus logico-philosophicus, Ed. Paul Kegan, Londra, 1922.
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.