Art. 04 – Vol. 21 – No. 1 – 2011

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.

View full article

REFERENCES:

  1. ARISTOTELES. Organon, trad. franc., J. Tricot, Ed. J. Vrin, Paris, 1941.
  2. BRUNSCHWICG, L. Les étapes de la philosophie mathématique, Alcan, Paris, 1929.
  3. CARNAP, R. Logische Syntax der Sprache, Springer, Viena, 1934;
  4. CARNAP, R. Die Antinomien und die Unvollständigheit der Mathematik, în „Monatshefte für Mathematik und Physik”, 1934.
  5. DUMITRIU, A. Soluţia paradoxelor logico-matematice, Ed. ştiinţifică, 1966.
  6. DUMITRIU, A. Limitele sistemelor formale, în lucrarea „Eseuri”, 1987.
  7. FRAENKEL A.; J. BAR-HILLEL. Foundations of Set Theory, North-Holland Publishing Company, 1958.
  8. GÖDEL, K. Ueber formal unentscheidbare Sätze der Principia Mathematica und werwandter Systeme I, în „Monatshefte f. Math. und Physik”, 1931.
  9. LADRIÈRE, J. Les limitations internes des formalismes, Paris, 1938.
  10. MOSTOWSKI, A. The Present State of Investigations on the Foundations of Mathematics, Varşovia, 1955.
  11. MOSTOWSKI, A. A Stumbling Block in Constructive Mathematics, în „Journal of Symbolic Logic”, vol. 18, 1935.
  12. RUSSELL, B.; WHITEHEAD, A. Principia mathematica, Cambridge University Press, vol. I, 1910; vol. II, 1912; vol. III, 1913.
  13. TARSKI, A. Der Wahrheitsbegriff in den formalisierten Sprachen, în „Studia Philosophica”, Leopoli, 1935.
  14. MOSTOWSKI, A. A Stumbling Block in Constructive Mathematics, în „Journal of Symbolic Logic”, vol. 18, 1935.
  15. WITTGENSTEIN, L. Tractatus logico-philosophicus, Ed. Paul Kegan, Londra, 1922.

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.