Ítem
Acceso Abierto

La incompletitud de los fundamentos de las matemáticas

Mostrar el registro sencillo de la publicación
dc.contributor.advisorAndrade Lotero, Edgar José
dc.creatorGómez Soto, María Paula
dc.creator.degreeProfesional en Filosofíaspa
dc.date.accessioned2018-08-29T14:52:45Z
dc.date.available2018-08-29T14:52:45Z
dc.date.created2018-08-23
dc.date.issued2018
dc.descriptionEl objetivo de este trabajo es analizar el impacto de los teoremas de incompletitud en el debate sobre los fundamentos de las matemáticas, específicamente en el logicismo y el formalismo, y sus implicaciones en la relación entre verdad y demostrabilidad que se maneja en cada una de las dos propuestasspa
dc.description.abstractThe aim of this paper is to analyze the impact of Gödel's incompleteness theorems in the debate about the foundations of mathematics, specifically on logicism and formalism, and the effects on the relationship between truth and demonstrability.spa
dc.format.mimetypeapplication/pdf
dc.identifier.doihttps://doi.org/10.48713/10336_18390
dc.identifier.urihttp://repository.urosario.edu.co/handle/10336/18390
dc.language.isospa
dc.publisherUniversidad del Rosariospa
dc.publisher.departmentEscuela de Ciencias Humanasspa
dc.publisher.programFilosofíaspa
dc.rights.accesRightsinfo:eu-repo/semantics/openAccess
dc.rights.accesoAbierto (Texto Completo)spa
dc.rights.licenciaEL AUTOR, manifiesta que la obra objeto de la presente autorización es original y la realizó sin violar o usurpar derechos de autor de terceros, por lo tanto la obra es de exclusiva autoría y tiene la titularidad sobre la misma. PARGRAFO: En caso de presentarse cualquier reclamación o acción por parte de un tercero en cuanto a los derechos de autor sobre la obra en cuestión, EL AUTOR, asumirá toda la responsabilidad, y saldrá en defensa de los derechos aquí autorizados; para todos los efectos la universidad actúa como un tercero de buena fe. EL AUTOR, autoriza a LA UNIVERSIDAD DEL ROSARIO, para que en los términos establecidos en la Ley 23 de 1982, Ley 44 de 1993, Decisión andina 351 de 1993, Decreto 460 de 1995 y demás normas generales sobre la materia, utilice y use la obra objeto de la presente autorización. -------------------------------------- POLITICA DE TRATAMIENTO DE DATOS PERSONALES. Declaro que autorizo previa y de forma informada el tratamiento de mis datos personales por parte de LA UNIVERSIDAD DEL ROSARIO para fines académicos y en aplicación de convenios con terceros o servicios conexos con actividades propias de la academia, con estricto cumplimiento de los principios de ley. Para el correcto ejercicio de mi derecho de habeas data cuento con la cuenta de correo habeasdata@urosario.edu.co, donde previa identificación podré solicitar la consulta, corrección y supresión de mis datos.spa
dc.source.bibliographicCitationZach, R. (2016). “Hilbert’s Program”. En Stanford Encyclopedia of Philosophy. Disponible en https://plato.stanford.edu/archives/spr2016/entries/hilbert-program/spa
dc.source.bibliographicCitationWisdom, J.O. (1953). “Berkeley’s criticism of the infinitesimal”. En The British Journal for the Philosophy of Science. 4(13). pp. 22-25spa
dc.source.bibliographicCitationWhitehead, A., & Russell, B. (1963). Principia Mathematica Vol 1. Londres: Cambridge University Press.spa
dc.source.bibliographicCitationWeiner, J. (2010). Understanding Frege’s project. En M. Potter., & T. Ricketts. (Eds.). The Cambridge Companion to Frege. Nueva York: Cambridge University Press.spa
dc.source.bibliographicCitationVon Neumann, J. (1983). The formalist foundations of mathematics. En P. Benacerraf., & H. Putnam. (Eds.). Philosophy of mathematics. Selected readings. Londres: Cambridge University Press.spa
dc.source.bibliographicCitationVega, L. (1991). Introducción. En M.L., Puertas (Trad.). Elementos. Madrid: Gredos. 7-184spa
dc.source.bibliographicCitationUrquhart, A. (2006). Metatheory. En D. Jacquette (Ed.). A Companion to Philosophical Logic. United Kingdom: Blackwellspa
dc.source.bibliographicCitationTiles, M. (2006). Logical Foundations of Set Theory and Mathematics. En D. Jacquette (Ed.). A Companion to Philosophical Logic. United Kingdom: Blackwell. 365-376spa
dc.source.bibliographicCitationTarski, A.(1944). “The Semantic Conception of Truth: and the Foundations of Semantics”. En Philosophy and Phenomenological Research. 4(3). pp. 341-376spa
dc.source.bibliographicCitationSnapper, E. (1979). “The three crises in mathematics: Logicism, Intuitionism and Formalism. En Mathematics Magazine. 52(4). pp. 207-216spa
dc.source.bibliographicCitationRussell, B. (2010). Introduction to Mathematical Philosophy. Londres: George Allen & Unwin Ltd.spa
dc.source.bibliographicCitationRussell, B. (2009) Principles of Mathematics. Londres: Routledgespa
dc.source.bibliographicCitationRaatikainen, P. (2018). “Godel’s Incompleteness Theorems”. En Stanford Encyclopedia of Philosophy. Disponible en https://plato.stanford.edu/archives/sum2018/entries/goedel-incompleteness/spa
dc.source.bibliographicCitationPutnam, H. (1983). “Mathematics without foundations”. En P. Benacerraf., & H. Putnam. (Eds.). Philosophy of mathematics. Selected readings. Londres: Cambridge University Press.spa
dc.source.bibliographicCitationMarek. V.W. & J. Mycielski. (2001). “Foundations of mathematics in the twentieth century”. En The American Mathematical Monthly. 108(5). pp. 449-468spa
dc.source.bibliographicCitationKleiner, I. (2001). “History of the Infinitely Small and the Infinitely Large in Calculus”. En Educational Studies in Mathematics. 2/3(48). pp. 137-174spa
dc.source.bibliographicCitationKleene, S.C. (1986). Introductory note to 1930b, 1931 and 1932b. En S. Feferman, J. Dawson Jr., S. Kleene, G. Moore, R. Solovay., & J. van Heijenoort. (Eds.). Kurt Gödel. Collected Works. Oxford: Oxford University Press. 126-139spa
dc.source.bibliographicCitationIrvine, A. & Deutsch, H. (2016). “Russell’s Paradox”. En The Stanford Encyclopedia of Philosophy. Disponible en https://plato.stanford.edu/archives/win2016/entries/russell-paradox/spa
dc.source.bibliographicCitationHodges, A. (2013). “Alan Turing”. En The Stanford Encyclopedia of Philosophy. Disponible en https://plato.stanford.edu/archives/win2013/entries/turing/spa
dc.source.bibliographicCitationHilbert, D. (1993d). Los fundamentos lógicos de las matemáticas. En L. F. Segura (Trad.). Fundamentos de las Matemáticas. México: UNAMspa
dc.source.bibliographicCitationHilbert, D. (1993c). La nueva fundamentación de las matemáticas. En L. F. Segura (Trad.). Fundamentos de las Matemáticas. México: UNAMspa
dc.source.bibliographicCitationHilbert, D. (1993b). El pensamiento axiomático. En L. F. Segura (Trad.). Fundamentos de las Matemáticas. México: UNAMspa
dc.source.bibliographicCitationHilbert, D. (1993a). Acerca del concepto de número. En L. F. Segura (Trad.). Fundamentos de las Matemáticas. México: UNAMspa
dc.source.bibliographicCitationHeyting, A. (1983). The intuitionist foundations of mathematics. En P. Benacerraf., & H. Putnam. (Eds.). Philosophy of mathematics. Selected readings. Londres: Cambridge University Press.spa
dc.source.bibliographicCitationGödel, K. (1986b). On formally undecidable proposictions of Principia Mathematica. En S. Feferman, J. Dawson Jr., S. Kleene, G. Moore, R. Solovay., & J. van Heijenoort. (Eds.). Kurt Gödel. Collected Works. Oxford: Oxford University Press. 145-195spa
dc.source.bibliographicCitationGödel, K. (1986a). Some metamathematical results on completeness and consistency. En S. Feferman, J. Dawson Jr., S. Kleene, G. Moore, R. Solovay., & J. van Heijenoort. (Eds.). Kurt Gödel. Collected Works. Oxford: Oxford University Press. 141-144spa
dc.source.bibliographicCitationFrege, G. (1973). Fundamentos de la aritmética. U. Moulines (Trad.). Barcelona: Laiaspa
dc.source.bibliographicCitationFrege, G. (1964). Exposition of the Begriffsschrift. En The basic laws of arithmetic. Londres: University of California Pressspa
dc.source.bibliographicCitationFerreirós, J. (2016). “The Early Development of Set Theory”. En The Stanford Encyclopedia of Philosophy. Disponible en https://plato.stanford.edu/archives/fall2016/entries/settheory-early/spa
dc.source.bibliographicCitationFeferman, S. (1986). Gödel’s life and work. En S. Feferman, J. Dawson Jr., S. Kleene, G. Moore, R. Solovay., & J. van Heijenoort. (Eds.). Kurt Gödel. Collected Works. Oxford: Oxford University Press. 1-36spa
dc.source.bibliographicCitationEuclides. (1991). Elementos. M.L., Puertas (Trad.). Madrid: Gredos.spa
dc.source.bibliographicCitationDescartes, R. (1996). Reglas para la dirección del espíritu. J.M. Navarro (Trad.) Madrid: Alianza Editorialspa
dc.source.bibliographicCitationCarus, P. (1903). The philosophical foundations of mathematics. Historical introduction. En The Monist. 13(2). pp. 273-294spa
dc.source.bibliographicCitationCarnap, R. (1983). The logicist foundations of mathematics. En P. Benacerraf., & H. Putnam. (Eds.). Philosophy of mathematics. Selected readings. Londres: Cambridge University Press.spa
dc.source.bibliographicCitationBrouwer, L.E.J. (1983). Intuitionism and formalism. En P. Benacerraf., & H. Putnam. (Eds.). Philosophy of mathematics. Selected readings. Londres: Cambridge University Press.spa
dc.source.bibliographicCitationBourbaki, N. (1949).”Foundations of mathematics for the working mathematician”. En The Journal of Symbolic Logic. 14(1). pp. 1-8spa
dc.source.bibliographicCitationBezhanishvili, G. (s.f.). Henkin’s method and the completeness theorem. Disponible en https://www.cs.nmsu.edu/historical-projects/Projects/completeness.pdfspa
dc.source.bibliographicCitationBell, J. L. (2017). “Continuity and Infinitesimals”. En The Stanford Encyclopedia of Philosophy. Disponible en https://plato.stanford.edu/archives/sum2017/entries/continuity/spa
dc.source.bibliographicCitationAgudelo, O.A. (2017). Subsunción y aplicación en el derecho. En Agudelo, O.A., León, J.E., Prieto, M.A. & Y. Reyes. (Eds.). Lógica aplicada al razonamiento del derecho. Bogotá: Universidad Católica de Colombiaspa
dc.source.instnameinstname:Universidad del Rosariospa
dc.source.reponamereponame:Repositorio Institucional EdocURspa
dc.subjectIncompletitudspa
dc.subjectFundamentosspa
dc.subjectLogicismospa
dc.subjectFormalismospa
dc.subjectConsistenciaspa
dc.subjectCompletitudspa
dc.subjectVerdadspa
dc.subject.ddcPrincipios generalesspa
dc.subject.keywordIncompletenessspa
dc.subject.keywordLogicismspa
dc.subject.keywordFormalismspa
dc.subject.keywordCompletenessspa
dc.subject.keywordFoundationsspa
dc.subject.keywordTruthspa
dc.subject.lembTeoremas de incompletitudspa
dc.subject.lembLógica simbólica y matemáticaspa
dc.subject.lembFilosofía de las matemáticasspa
dc.titleLa incompletitud de los fundamentos de las matemáticasspa
dc.typebachelorThesiseng
dc.type.hasVersioninfo:eu-repo/semantics/acceptedVersion
dc.type.spaTrabajo de gradospa
Archivos
Bloque original
Mostrando1 - 1 de 1
Miniatura
Nombre:
LaIncompletitudDeLosFundamentos.pdf
Tamaño:
1.13 MB
Formato:
Adobe Portable Document Format
Descripción:
Descargar
Colecciones
Pregrado en Filosofía