The development of logical-mathematical instruments and concepts of Kurt Gödel's First Incompleteness Theorem
DOI:
https://doi.org/10.51359/2357-9986.2023.258607Keywords:
diagonalization, finitism, Hilbert's Program, incompleteness, non-euclidean geometries, paradoxesAbstract
The article seeks to elucidate the investigations and advances in Mathematics and Logic
associated with philosophical conceptions that culminated in Kurt Gödel's First Incompleteness Theorem. For this, we will make a historical and conceptual approach to Mathematics from the second half of the 19th century to the first half of the 20th century, indicating elements and mathematical instruments developed to solve problems, as well as philosophical assumptions and commitments that accompany activities aimed at the formalization and foundation of contemporary mathematical logic that helped Gödel to elaborate his demonstration and clarify the limitations of formal systems with a minimum of Arithmetic. In this way, we will deal with how the problems from the establishment of non-Euclidean geometries and the Set Theory culminated in different lines of research focused on the foundations of Mathematics, as well as the discovery of paradoxes and the controversial notion of the Infinite demanded finitary and recursive methods, such as instruments created for mathematical demonstrations in this period helped in the emergence of metamathematics until Gödel's proof. At the end, we will make a general synthesis and reflection on this intellectual enterprise in the progress of mathematical investigation itself.
References
BERTO, Francesco. There's Something About Gödel: The Complete Guide to the Incompleteness Theorem. Wiley-Blackwell, 2009.
BÓLYAI, János; KÁRTESZI, Ferenc (ed.) e SZÉNÁSSY, Barna. Appendix, The Theory of Space. Amsterdam; New York: North-Holland, 1987.
BOOLOS, George; BURGESS, John P.; JEFFREY, Richard C. Computabilidade e Lógica. tradução de César Mortari - Editora UNESP, São Paulo, 2012.
BURALI-FORTI, C. A question on transfinite numbers. In VAN HEIJENOORT, Jean (ed.). From Frege to Gödel. Cambridge: Harvard University Press: pp. 105-111, 1897.
CANTOR, G. Ueber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen. Journal für die Reine und Angewandte Mathematik, 77: pp. 258–262, 1874.
CANTOR, G. Ueber eine elementare Frage der Mannigfaltigkeitslehre. Jahresbericht der Deutschen Mathematiker-Vereinigung, 1: pp. 75–78, 1891.
CARNAP, R. The Logical Syntax of Language. Kegan Paul, Trench, Trubner & Co Ltd, 1937.
CARNAP, R. Letter to Dedekind. In VAN HEIJENOORT, Jean (ed.). From Frege to Gödel. Cambridge: Harvard University Press: pp. 113 - 117, 1899.
CHALMERS, David J. Why Isn't There More Progress in Philosophy? Philosophy 90 (1): pp. 3-31, 2015.
CHURCH, Alonzo. The Richard Paradox. The American Mathematical Monthly Vol. 41, No. 6, pp. 356-361, 1934.
COPI, I. M. The Burali-Forti Paradox. Philosophy of Science, 25(4): pp. 281–286, 1958.
DAUBEN, Joseph. Revolutions in Mathematics. Oxford University Press, 1992.
DAVIS, Martin. Why Gödel Didn't Have Church's Thesis. Information and Control 54: pp. 3-24, 1982.
DAVIS, Martin. The Undecidable: Basic papers on undecidable propositions, unsolvable problems and computable functions. Dover Publications: New York, 2004.
DEAN, Walter. Recursive Functions. The Stanford Encyclopedia of Philosophy (Winter 2021 Edition), Edward N. Zalta (ed.), forthcoming URL = <https://plato.stanford.edu/archives/win2021/entries/recursive-functions/>, 2020.
DEDEKIND, Richard. The Nature and Meaning of Numbers. Em ‘Essays on the Theory of Numbers’. Dover Publications, New York, 1888.
DETLEFSEN, Michael. Hilbert 's Program: An Essay on Mathematical Instrumentalism. Reidel, 1986.
DE RISI, Vicenzo. Analysis Situs, the Foundations of Mathematics and a Geometry of Space. Em M.R. Antognazza (ed.). The Oxford Handbook of Leibniz. Oxford, Oxford University Press: pp. 247-258, 2018.
FEFERMAN, S. Predicativity. Em SHAPIRO, S. (ed.), Oxford Handbook of the Philosophy of Mathematics and Logic. Oxford University Press, Oxford: pp. 590-624, 2005.
FEFERMAN, S. Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on finitism, constructivity and Hilbert's program. Dialectica 62 (2): pp.179-203, 2008.
FERREIRÓS, J. On the relations between Georg Cantor and Richard Dedekind. Historia Mathematica, 20(4), 1993.
FERREIRÓS, J. Labyrinth of Thought. A history of set theory and its role in modern mathematics - 2nd edition. Basel, Boston: Birkhäuser Verlag, 2007.
GAIFMAN, Haim. Naming and Diagonalization, From Cantor to Gödel to Kleene. Logic Journal of the IGPL, 14: pp. 709–728, 2006.
GÖDEL, Kurt. On Undecidable Propositions of Formal Mathematical Systems I. Em Collected Works I (1986), Clarendon Press, pp. 145–195, 1931a.
GÖDEL, Kurt. Acerca de proposições formalmente indecidíveis nos Principia Mathematica e sistemas associados. Em LOURENÇO, Manuel (ed.). O Teorema de Gödel e a Hipótese do Contínuo. Fundação Calouste Gulbenkian, 1979: pp. -290, 1931b.
GÖDEL, Kurt. Acerca de proposições indecidíveis em sistemas matemáticos formais. Em LOURENÇO, Manuel (ed.). O Teorema de Gödel e a Hipótese do Contínuo. Fundação Calouste Gulbenkian, 1979: pp. 291-358, 1934.
GÖDEL, Kurt. Lecture at Zilsel´s. Em FEFERMAN, Solomon (ed.) Collected Works III. Oxford University Press, New York, 1993: pp. 87-113, 1938.
HILBERT, David. Mathematical Problems. Bulletin of the American Mathematical Society, Volume 8, pages 437–479, 1902.
HILBERT, David. On the Foundations of Logic and Arithmetic. Monist , Vol. 15, No. 3 (July, 1905), pp. 338-352, 1905.
HILBERT, David. Axiomatic thinking. Philosophia Mathematica (1-2):1-12, 1970.
HILBERT, David. Foundations of Geometry. 2º edition - Open Court, 1999.
HILBERT, David. David Hilbert’s Lectures on the Foundations of Geometry, 1891–1902, MAJER, Ulrich; HALLETT, Michael (eds.). Springer, New York, 2004.
HILBERT, David. Sobre o Infinito. Traduzido em CARNIELLI, Walter; EPSTEIN, Richard L. Computabilidade, funções computáveis, lógica e os fundamentos da Matemática . São Paulo: Editora UNESP, pp. 75 -91, 2006.
INCURVATI, Luca. On the Concept of Finitism. Synthese 192 (8): 2413-2436, 2015.
HARTIMO, Mirja. Husserl and Hilbert. Em CENTRONE, Stephania. Essays on Husserlś Logic and Philosophy of Mathematics. Springer, pp. 245-263, 2017.
HUNTER, Geoffrey. What Do the Consistency Proofs for Non-Euclidean Geometries Prove? Analysis, Vol. 40, No. 2, pp. 79-83, 1980.
IGNJANOVÍC, ALEKSANDAR. Hilbert's program and the omega-rule. Journal of Symbolic Logic 59 (1): 322-343, 1994.
JAQUETTE, Dale. Diagonalization in Logic and Mathematics. In GABBAY, Dov M.; GUENTHNER, F.(eds.). Handbook of philosophical logic, 2º edition, (Volume 11). Dordrecht: Kluwer Academic Publishing - pp. 55-147, 2002.
KLEENE, Stephen Cole. Introduction to Metamathematics. North Holland, 1952.
KREISEL, G.. Ordinal logics and the characterization of informal concepts of proof. Proceedings of the International Congress of Mathematicians, 14–21 August 1958, Cambridge at the University Press, pp. 289–299, 1960.
LEWIS, Florence P. History of the Parallel Postulate.The American Mathematical Monthly, Vol. 27, No. 1, pp. 16-23, 1920.
MANCOSU, Paolo. Abstraction and Infinity. Oxford: Oxford University Press, 2016.
NAGEL, Ernest; NEWMAN, James R. A Prova de Gödel. Tradução de Gita K. Guinsburg, São Paulo: Editora Perspectiva, 2ª ed. 2001.
PARSONS, Charles. Finitism and intuitive knowledge. Em Matthias Schirn (Ed.), The Philosophy of Mathematics Today. Oxford: Oxford University Press: pp. 249–270, 1998.
PEANO, Giuseppe. The principles of arithmetic, presented by a new method. em VAN HEIJENOORT, Jean (ed.). From Frege to Gödel. Cambridge: Harvard University Press. pp. 83-97, 1889.
PEANO, Giuseppe. Supplement to ‘On the Cantor-Bernstein Theorem’. Em KENNEDY, Rupert, C. (ed.). Select Works of Giuseppe Peano. University of Toronto Press, Toronto, 1973: pp. 206-218, 1906.
PELEGRIN, Jaroslav. Diagonal Arguments. Acta Universitatis Carolinae, Philosophica et Historica 2/ Miscallanea Logica - pp. 33–43, 2017.
POINCARÉ, H. Les Mathématiques et la Logique. Revue de Métaphysique et de Morale, 14: pp.294-317, 1906.
RAATIKAINEN, Panu. On the Philosophical Relevance of Gödel’s Incompleteness Theorems. Revue Internationale de Philosophie, 59: 513–534, 2005.
RESNIK, Michael D. The Frege-Hilbert Controversy. Philosophy and Phenomenological Research, 34 (3), pp. 386 - 403, 1974.
RICHARD, Jules. The principles of mathematics and the problem of sets. Em VAN HEIJENOORT, Jean (ed.). From Frege to Gödel. Cambridge: Harvard University Press. pp. 142-144, 1905.
ROSENFELD, B. A. A History of Non-Euclidean Geometry: Evolution of the Concept of a Geometric Space. Translated by Abe Shenitzer. New York (Springer-Verlag), 1988.
RUSSELL, B. Letter to Frege. Em VAN HEIJENOORT, Jean (ed.). From Frege to Gödel. Cambridge: Harvard University Press, 1967: pp. 124-125, 1902.
RUSSELL, B. Principles of Mathematics. Cambridge: Cambridge University Press, 1903.
RUSSELL, B. On some difficulties in the theory of transfinite numbers and order types. Proceedings of the London Mathematical Society 4 (14): pp. 29-5, 1906..
RUSSELL, B. Mathematical logic as based on a theory of types. American Journal of Mathematics, 30: 222-262. Republicado em VAN HEIJENOORT, Jean (ed.). From Frege to Gödel. Cambridge: Harvard University Press. pp. 150-182, 1908.
RUSSELL, B. e WHITEHEAD, Alfred N. Principia Mathematica (volume 1, 2ª ed.), Cambridge: Cambridge University Press, 1927.
SIEG, Wilfried. Only two letters: The correspondence between Herbrand and Gödel. Bulletin of Symbolic Logic 11 (2):172-184, 2005.
SILVA, Jairo José. Sobre o Predicativismo em Hermann Weyl. Campinas: UNICAMP, Centro de Lógica, Epistemologia e Filosofia da Ciência, 1989.
SKOLEM, Thoralf. The foundations of elementary arithmetic established my means of the recursive mode of thought, without the use of apparent variables ranging over infinite domains. Em VAN HEIJENOORT, Jean (ed.). From Frege to Gödel. Cambridge: Harvard University Press. pp. 302-333, 1923.
SMITH, Peter. An Introduction to Gödel's Theorems (2º edition). Cambridge University Press, 2013.
SMORYNSKI, Craig. The incompleteness theorems. Em Jon Barwise (ed.), Handbook of Mathematical Logic. North-Holland. pp. 821 - 865, 1977.
SMULLYAN, Raymond M. Diagonalization and self-reference. Clarendon Press, 1994.
TAIT, William W. Finitism. Journal of Philosophy, 78: 524–546, 1981.
TAIT, William W. Remarks on finitism. In Wilfried Sieg, Richard Sommer, and Carolyn Talcott (eds.), Reflections on the Foundations of Mathematics. Essays in Honor of Solomon Feferman, Lecture Notes in Logic 15. Association for Symbolic Logic and A K Peters, pp. 410-419, 2002.
TAIT, William W. Gödel on intuition and on Hilbert's finitism. Em FEFERMAN, Solomon; PARSONS, Charles; SIMPSON, Stephen G. (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic, 2010.
TAIT, William W. Primitive Recursive Arithmetic and its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections. Em DYBJER, Peter; LINDSTROM, Sten; PALMGREN, Erik e SUNDHOLM, Göran (eds.)). Epistemology versus ontology. Essays on the philosophy and foundations of mathematics in honour of Per Martin-Löf. Based on the conference, “Philosophy and foundations of mathematics: Epistemological and ontological aspects”, Uppsala, Sweden, May 5–8, 2009; pp. 161-180, 2012.
URQHART, Alasdair. Russell's Zigzag Path to the Ramified Theory of Types. Russell: The Journal of Bertrand Russell Studies 8 (1): pp. 82-91, 1988.
WILLE, Matthias. Metamathematics in Transition. History and Philosophy of Logic, 32:4, 333-358, 2011.
VAN HEIJENOORT, Jean (ed.). From Frege to Gödel. Cambridge: Harvard University Press, 1967.
ZACH, Richard. Hilbert's Finitism: Historical, Philosophical, and Metamathematical Perspectives. PhD Dissertation, University of California, Berkeley, 2001.
ZACH, Richard.Hilbert’s Program. The Stanford Encyclopedia of Philosophy,EdwardN.Zalta(ed.),URL=<https://plato.stanford.edu/archives/fall2019/entries/hilbert-program/>, 2003.
ZACH, Richard. Hilbert's program then and now. Em JACQUETTE, Dale (ed.). Philosophy of Logic. Amsterdam: North Holland. pp. 411–447, 2007.
ZALTA, Edward N., Frege’s Theorem and Foundations for Arithmetic, The Stanford Encyclopedia of Philosophy (Winter 2020 Edition), Edward N. Zalta (ed.), 1998.
Downloads
Published
Issue
Section
License
Copyright (c) 2023 Bismarck Bório de Medeiros
This work is licensed under a Creative Commons Attribution 4.0 International License.
A Revista Perspectiva Filosófica orienta seus procedimentos de gestão de artigos conforme as diretrizes básicas formuladas pelo Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq). http://memoria2.cnpq.br/web/guest/diretrizes/
Autores que publicam nesta revista concordam com os seguintes termos:
-
Os autores mantém os direitos autorais e concedem à revista o direito de primeira publicação, sendo o trabalho simultaneamente licenciado sob Creative Commons Atribuição 4.0 Internacional que permite o compartilhamento do trabalho com reconhecimento da autoria e publicação inicial nesta revista.
-
Os autores têm autorização para assumir contratos adicionais separadamente, para distribuição não-exclusiva da versão do trabalho publicada nesta revista, com reconhecimento de autoria e publicação inicial nesta revista (Consultar http://opcit.eprints.org/oacitation-biblio.html).
As obras publicadas pela Revista Perspectiva Filosófica estão licenciadas com Creative Commons Atribuição 4.0 Internacional.
