La constitución del programa de Hilbert

Autores/as

  • Max Fernández de Castro Departamento de Filosofía, Universidad Autónoma Metropolitana-Iztapalapa
  • Yolanda Torres Falcón Departamento de Filosofía, Universidad Autónoma Metropolitana-Iztapalapa

DOI:

https://doi.org/10.48160/18532330me10.209

Palabras clave:

Hilbert, Bernays, logicismo, axiomático, finitismo

Resumen

En las páginas que siguen pretendemos dar una visión panorámica y esquemática de la evolución del programa formalista que resulta de los estudios recientes de notas de curso hasta hace poco inéditas. Analizaremos primeramente ciertos elementos del programa (la preferencia por el método axiomático, el estructuralismo y el logicismo). En segundo lugar observaremos cómo, una vez el programa establecido en 1920 (aunque con cierta vaguedad), diversos finitismos con una base común fueron ensayados por Hilbert y Bernays hasta 1931, en una tentativa por definir con precisión su programa y llevarlo a buen término. El resultado es el de un complejo programa de investigación en continua evolución.

Citas

Ackermann, W. (1924), “Begründung des ‘tertium non datur’ mittels der Hilbertschen Theorie der Widerspruchsfreiheit”, Tesis doctoral, Universität Göttingen.

Benis-Sinaceur, H. (2015), “Is Dedekind a Logicist? Why Does Such a Question Arise?”, en Benis-Sinaceur, H., Panza M. y G.Sandu (eds.), Functions and Generality of Logic, Reflections on Dedekind’s and Frege’s Logicism, Berlin: Springer, 1-57.

Bernays, P. (1922), “Über Hilberts Gedanken zur Grundlegung der Arithmetik”, Jahresbericht der Deutschen Mathematikervereinigung31: 10-19. (Versión inglesa de Paolo Mancosu: “On Hilbert’s Thoughts Concerning the Grounding of Arithmetic”, en Mancosu (1998), pp. 215-233.)

Bernays, P. (1954), “Zur Beurteilung der situation in der beweistheoretischen Forschung”, Revue Intenationale de Philosophie8: 9-13. Discusión: 15-21.

Bernays, P. (2003), Philosophie des Mathématiques, Paris: Vrin.

Dedekind, R. (1888), Was sind und was sollen die Zahlen, Braunschweig: Vieweg.

Dedekind, R. y H. Benis-Sinaceur (2008), La Création des Nombres, Paris:Vrin.

Detlefsen, M. (1986), Hilbert's Program: An Essay on Mathematical Instrumentalism, Berlin: Springer.

Ewald, W. (1999), From Kant to Hilbert, Vol.2, Oxford: Oxford University Press.

Ferreirós, J. (2009). “Hilbert, Logicism, and Mathematical Existence”, Synthese170(1): 33-70.

Ferreirós, J. (2011), “On Dedekind Logicism”, http:philsci-archive.pitt.edu/13075.

Franks, C. (2009), The Autonomy of Mathematical Knowledge, Hilbert’s Program Revisited, Cambridge: Cambridge University Press.

Frege, G. (1953), The Foundations of Arithmetic, New York: Harper.

Frege, G. (1980), Philosophical and Mathematical Correspondence, Chicago: The University of Chicago Press.

Hilbert, D. (1905), “Über die Grundlagen der Logik und der Arithmetik”, en Verhandlungen des Dritten Internationalen Mathematiker-Kongresses in Heidelberg vom 8. bis 13. August 1904, Leipzig: Teubner, 1905, pp. 174-185. (Versión inglesa: “On the Foundations of Logic and Arithmetic”, en van Heijenoort (1967), pp. 145-56.)

Hilbert, D. (1925), “Über das Unendliche”, Mathematische Annalen95: 161-190. (Versión inglesa: “On the Infinite”,en van Heijenoort (1967), pp. 367-392.)

Hilbert, D. (1927), “Die Grundlagen der Mathematik”, Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universität6 (1928): 65-85. (Versión inglesa: “On the Foundations of Logic and Arithmetic”, en van Heijenoort (1967), pp. 464-479.)

Hilbert, D. (1929), “Probleme der Grundlegung der Mathematik”, Mathematische Annalen102: 1-9.

Hilbert, D. (1931), “Die Grundlegung der elementaren Zahlenlehre”, Mathematische Annalen104: 485-494. (Versión inglesa: “The Groundingof Elementary Number Theory”, en Mancosu (1998), pp. 266-273.)

Hilbert, D. (1993), Fundamentos de las Matemáticas, México: Facultad de Ciencias-UNAM.

Hilbert, D. (1999), The Foundations of Geometry, LaSalle, IL: The Open CourtPublishing Co.

Hilbert, D. y P. Bernays (1934-1939), Grundlagen der Mathematik, Vols.I-II, Berlin: Springer. (Versión francesa: Fondements des Mathématiques, Paris: L’Harmattan, 2001.)Hilbert, D.y W. Ackermann (1928), Grundzüge der theoretischen Logik, Berlin: Springer.

Largeault, J. (1992), Intuitinionisme et Théorie de la Démonstration, Paris: Vrin.

Mancosu, P.(ed.) (1998), From Brouwer to Hilbert, The Debate on the Foundations of Mathematics in the 1920’s, Oxford: Oxford University Press.

Mancosu, P.(2010), The Adventure of Reason, Interplay between Philosophy of Mathematics and Mathematical Logic, 1900-1940, Oxford: Oxford University Press.

Poincaré, H. (1905-1906), “Les mathématiques et la logique”, Revue de Métaphysique et de Morale13 (noviembre1905): 815-35;14 (enero1906): 17-34.

Poincaré, H. (1906), “Les mathématiques et la logique”, Revue de Métaphysique et de Morale14 (mayo1906): 294-317.

Shapiro, S. (1997), Philosophy of Mathematics, Structure and Ontology, Oxford: Oxford University Press.

Sieg, W. (2013), Hilbert’s Programs and Beyond, Oxford: Oxford University Press.

Skolem, T. (1923), “The Foundations of Elementary Arithmetic established by Means of the Recursive Mode of Thought, Without the Use of Apparent Variables Ranging over Infinite Domains”, en van Heijenoort (1967), pp. 302-333.

Stenlund, S. (2010), “Different Senses of Finitude: An Inquiry into Hilbert’s Finitism”, Synthese185: 335-363.

Tait, W. (1981), “Finitism”, Journal of Philosophy78: 524-546.

Tait, W. (2002), “Remarks on Finitism”, en Sieg, W., Sommer, R. y C. Talcott (eds.), Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman, Lecture Notes in Logic, Vol. 15, Urbana: Association for Symbolic Logic, pp.407-416.

van Heijenoort, J. (1967), From Frege to Gödel, A Source Book in Mathematical Logic, 1879-1931, Cambridge, MA: Harvard University Press.

Zach, R. (2001), Hilbert’s Finitism, Historical, Philosophical and Mathematical Perspectives, Tesis doctoral, University of California.

Descargas

Publicado

2020-04-01

Cómo citar

Fernández de Castro, M., & Torres Falcón, Y. (2020). La constitución del programa de Hilbert. Metatheoria – Revista De Filosofía E Historia De La Ciencia, 10(2), 31–50. https://doi.org/10.48160/18532330me10.209