Show simple item record

dc.contributor.advisorAndrade-Lotero, Edgar 
dc.creatorGómez Soto, María Paula 
dc.date.accessioned2018-08-29T14:52:45Z
dc.date.available2018-08-29T14:52:45Z
dc.date.created2018-08-23
dc.date.issued2018 
dc.identifier.urihttp://repository.urosario.edu.co/handle/10336/18390
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 propuestas
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.
dc.format.mimetypeapplication/pdf
dc.language.isospa
dc.sourceinstname:Universidad del Rosario
dc.sourcereponame:Repositorio Institucional EdocUR
dc.subjectIncompletitud
dc.subjectFundamentos
dc.subjectLogicismo
dc.subjectFormalismo
dc.subjectConsistencia
dc.subjectCompletitud
dc.subjectVerdad
dc.subject.ddcPrincipios generales 
dc.subject.lembTeoremas de incompletitud
dc.subject.lembLógica simbólica y matemática
dc.subject.lembFilosofía de las matemáticas
dc.titleLa incompletitud de los fundamentos de las matemáticas
dc.typebachelorThesis
dc.publisherUniversidad del Rosario
dc.creator.degreeProfesional en Filosofía
dc.publisher.programFilosofía
dc.publisher.departmentEscuela de Ciencias Humanas
dc.subject.keywordIncompleteness
dc.subject.keywordLogicism
dc.subject.keywordFormalism
dc.subject.keywordCompleteness
dc.subject.keywordFoundations
dc.subject.keywordTruth
dc.rights.accesRightsinfo:eu-repo/semantics/openAccess
dc.type.spaTrabajo de grado
dc.rights.accesoAbierto (Texto Completo)
dc.type.hasVersioninfo:eu-repo/semantics/acceptedVersion
dc.source.bibliographicCitationZach, R. (2016). “Hilbert’s Program”. En Stanford Encyclopedia of Philosophy. Disponible en https://plato.stanford.edu/archives/spr2016/entries/hilbert-program/
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-25
dc.source.bibliographicCitationWhitehead, A., & Russell, B. (1963). Principia Mathematica Vol 1. Londres: Cambridge University Press.
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.
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.
dc.source.bibliographicCitationVega, L. (1991). Introducción. En M.L., Puertas (Trad.). Elementos. Madrid: Gredos. 7-184
dc.source.bibliographicCitationUrquhart, A. (2006). Metatheory. En D. Jacquette (Ed.). A Companion to Philosophical Logic. United Kingdom: Blackwell
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-376
dc.source.bibliographicCitationTarski, A.(1944). “The Semantic Conception of Truth: and the Foundations of Semantics”. En Philosophy and Phenomenological Research. 4(3). pp. 341-376
dc.source.bibliographicCitationSnapper, E. (1979). “The three crises in mathematics: Logicism, Intuitionism and Formalism. En Mathematics Magazine. 52(4). pp. 207-216
dc.source.bibliographicCitationRussell, B. (2010). Introduction to Mathematical Philosophy. Londres: George Allen & Unwin Ltd.
dc.source.bibliographicCitationRussell, B. (2009) Principles of Mathematics. Londres: Routledge
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/
dc.source.bibliographicCitationPutnam, H. (1983). “Mathematics without foundations”. En P. Benacerraf., & H. Putnam. (Eds.). Philosophy of mathematics. Selected readings. Londres: Cambridge University Press.
dc.source.bibliographicCitationMarek. V.W. & J. Mycielski. (2001). “Foundations of mathematics in the twentieth century”. En The American Mathematical Monthly. 108(5). pp. 449-468
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-174
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-139
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/
dc.source.bibliographicCitationHodges, A. (2013). “Alan Turing”. En The Stanford Encyclopedia of Philosophy. Disponible en https://plato.stanford.edu/archives/win2013/entries/turing/
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: UNAM
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: UNAM
dc.source.bibliographicCitationHilbert, D. (1993b). El pensamiento axiomático. En L. F. Segura (Trad.). Fundamentos de las Matemáticas. México: UNAM
dc.source.bibliographicCitationHilbert, D. (1993a). Acerca del concepto de número. En L. F. Segura (Trad.). Fundamentos de las Matemáticas. México: UNAM
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.
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-195
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-144
dc.source.bibliographicCitationFrege, G. (1973). Fundamentos de la aritmética. U. Moulines (Trad.). Barcelona: Laia
dc.source.bibliographicCitationFrege, G. (1964). Exposition of the Begriffsschrift. En The basic laws of arithmetic. Londres: University of California Press
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/
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-36
dc.source.bibliographicCitationEuclides. (1991). Elementos. M.L., Puertas (Trad.). Madrid: Gredos.
dc.source.bibliographicCitationDescartes, R. (1996). Reglas para la dirección del espíritu. J.M. Navarro (Trad.) Madrid: Alianza Editorial
dc.source.bibliographicCitationCarus, P. (1903). The philosophical foundations of mathematics. Historical introduction. En The Monist. 13(2). pp. 273-294
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.
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.
dc.source.bibliographicCitationBourbaki, N. (1949).”Foundations of mathematics for the working mathematician”. En The Journal of Symbolic Logic. 14(1). pp. 1-8
dc.source.bibliographicCitationBezhanishvili, G. (s.f.). Henkin’s method and the completeness theorem. Disponible en https://www.cs.nmsu.edu/historical-projects/Projects/completeness.pdf
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/
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 Colombia
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.


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record