La incompletitud de los fundamentos de las matemáticas

El 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 propuesta...

Full description

Autores:
Tipo de recurso:
Fecha de publicación:
2018
Institución:
Universidad del Rosario
Repositorio:
Repositorio EdocUR - U. Rosario
Idioma:
spa
OAI Identifier:
oai:repository.urosario.edu.co:10336/18390
Acceso en línea:
https://doi.org/10.48713/10336_18390
http://repository.urosario.edu.co/handle/10336/18390
Palabra clave:
Incompletitud
Fundamentos
Logicismo
Formalismo
Consistencia
Completitud
Verdad
Principios generales
Incompleteness
Logicism
Formalism
Completeness
Foundations
Truth
Teoremas de incompletitud
Lógica simbólica y matemática
Filosofía de las matemáticas
Rights
License
Abierto (Texto Completo)
id EDOCUR2_97d20be05a6d4539e9200a4aab4ff6d0
oai_identifier_str oai:repository.urosario.edu.co:10336/18390
network_acronym_str EDOCUR2
network_name_str Repositorio EdocUR - U. Rosario
repository_id_str
dc.title.spa.fl_str_mv La incompletitud de los fundamentos de las matemáticas
title La incompletitud de los fundamentos de las matemáticas
spellingShingle La incompletitud de los fundamentos de las matemáticas
Incompletitud
Fundamentos
Logicismo
Formalismo
Consistencia
Completitud
Verdad
Principios generales
Incompleteness
Logicism
Formalism
Completeness
Foundations
Truth
Teoremas de incompletitud
Lógica simbólica y matemática
Filosofía de las matemáticas
title_short La incompletitud de los fundamentos de las matemáticas
title_full La incompletitud de los fundamentos de las matemáticas
title_fullStr La incompletitud de los fundamentos de las matemáticas
title_full_unstemmed La incompletitud de los fundamentos de las matemáticas
title_sort La incompletitud de los fundamentos de las matemáticas
dc.contributor.advisor.none.fl_str_mv Andrade Lotero, Edgar José
dc.subject.spa.fl_str_mv Incompletitud
Fundamentos
Logicismo
Formalismo
Consistencia
Completitud
Verdad
topic Incompletitud
Fundamentos
Logicismo
Formalismo
Consistencia
Completitud
Verdad
Principios generales
Incompleteness
Logicism
Formalism
Completeness
Foundations
Truth
Teoremas de incompletitud
Lógica simbólica y matemática
Filosofía de las matemáticas
dc.subject.ddc.spa.fl_str_mv Principios generales
dc.subject.keyword.spa.fl_str_mv Incompleteness
Logicism
Formalism
Completeness
Foundations
Truth
dc.subject.lemb.spa.fl_str_mv Teoremas de incompletitud
Lógica simbólica y matemática
Filosofía de las matemáticas
description El 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
publishDate 2018
dc.date.accessioned.none.fl_str_mv 2018-08-29T14:52:45Z
dc.date.available.none.fl_str_mv 2018-08-29T14:52:45Z
dc.date.created.none.fl_str_mv 2018-08-23
dc.date.issued.none.fl_str_mv 2018
dc.type.eng.fl_str_mv bachelorThesis
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_7a1f
dc.type.spa.spa.fl_str_mv Trabajo de grado
dc.identifier.doi.none.fl_str_mv https://doi.org/10.48713/10336_18390
dc.identifier.uri.none.fl_str_mv http://repository.urosario.edu.co/handle/10336/18390
url https://doi.org/10.48713/10336_18390
http://repository.urosario.edu.co/handle/10336/18390
dc.language.iso.none.fl_str_mv spa
language spa
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.acceso.spa.fl_str_mv Abierto (Texto Completo)
rights_invalid_str_mv Abierto (Texto Completo)
http://purl.org/coar/access_right/c_abf2
dc.format.mimetype.none.fl_str_mv application/pdf
dc.publisher.spa.fl_str_mv Universidad del Rosario
dc.publisher.department.spa.fl_str_mv Escuela de Ciencias Humanas
dc.publisher.program.spa.fl_str_mv Filosofía
institution Universidad del Rosario
dc.source.bibliographicCitation.spa.fl_str_mv Zach, R. (2016). “Hilbert’s Program”. En Stanford Encyclopedia of Philosophy. Disponible en https://plato.stanford.edu/archives/spr2016/entries/hilbert-program/
Wisdom, J.O. (1953). “Berkeley’s criticism of the infinitesimal”. En The British Journal for the Philosophy of Science. 4(13). pp. 22-25
Whitehead, A., & Russell, B. (1963). Principia Mathematica Vol 1. Londres: Cambridge University Press.
Weiner, J. (2010). Understanding Frege’s project. En M. Potter., & T. Ricketts. (Eds.). The Cambridge Companion to Frege. Nueva York: Cambridge University Press.
Von Neumann, J. (1983). The formalist foundations of mathematics. En P. Benacerraf., & H. Putnam. (Eds.). Philosophy of mathematics. Selected readings. Londres: Cambridge University Press.
Vega, L. (1991). Introducción. En M.L., Puertas (Trad.). Elementos. Madrid: Gredos. 7-184
Urquhart, A. (2006). Metatheory. En D. Jacquette (Ed.). A Companion to Philosophical Logic. United Kingdom: Blackwell
Tiles, M. (2006). Logical Foundations of Set Theory and Mathematics. En D. Jacquette (Ed.). A Companion to Philosophical Logic. United Kingdom: Blackwell. 365-376
Tarski, A.(1944). “The Semantic Conception of Truth: and the Foundations of Semantics”. En Philosophy and Phenomenological Research. 4(3). pp. 341-376
Snapper, E. (1979). “The three crises in mathematics: Logicism, Intuitionism and Formalism. En Mathematics Magazine. 52(4). pp. 207-216
Russell, B. (2010). Introduction to Mathematical Philosophy. Londres: George Allen & Unwin Ltd.
Russell, B. (2009) Principles of Mathematics. Londres: Routledge
Raatikainen, P. (2018). “Godel’s Incompleteness Theorems”. En Stanford Encyclopedia of Philosophy. Disponible en https://plato.stanford.edu/archives/sum2018/entries/goedel-incompleteness/
Putnam, H. (1983). “Mathematics without foundations”. En P. Benacerraf., & H. Putnam. (Eds.). Philosophy of mathematics. Selected readings. Londres: Cambridge University Press.
Marek. V.W. & J. Mycielski. (2001). “Foundations of mathematics in the twentieth century”. En The American Mathematical Monthly. 108(5). pp. 449-468
Kleiner, I. (2001). “History of the Infinitely Small and the Infinitely Large in Calculus”. En Educational Studies in Mathematics. 2/3(48). pp. 137-174
Kleene, 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
Irvine, A. & Deutsch, H. (2016). “Russell’s Paradox”. En The Stanford Encyclopedia of Philosophy. Disponible en https://plato.stanford.edu/archives/win2016/entries/russell-paradox/
Hodges, A. (2013). “Alan Turing”. En The Stanford Encyclopedia of Philosophy. Disponible en https://plato.stanford.edu/archives/win2013/entries/turing/
Hilbert, D. (1993d). Los fundamentos lógicos de las matemáticas. En L. F. Segura (Trad.). Fundamentos de las Matemáticas. México: UNAM
Hilbert, D. (1993c). La nueva fundamentación de las matemáticas. En L. F. Segura (Trad.). Fundamentos de las Matemáticas. México: UNAM
Hilbert, D. (1993b). El pensamiento axiomático. En L. F. Segura (Trad.). Fundamentos de las Matemáticas. México: UNAM
Hilbert, D. (1993a). Acerca del concepto de número. En L. F. Segura (Trad.). Fundamentos de las Matemáticas. México: UNAM
Heyting, A. (1983). The intuitionist foundations of mathematics. En P. Benacerraf., & H. Putnam. (Eds.). Philosophy of mathematics. Selected readings. Londres: Cambridge University Press.
Gö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
Gö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
Frege, G. (1973). Fundamentos de la aritmética. U. Moulines (Trad.). Barcelona: Laia
Frege, G. (1964). Exposition of the Begriffsschrift. En The basic laws of arithmetic. Londres: University of California Press
Ferreiró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/
Feferman, 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
Euclides. (1991). Elementos. M.L., Puertas (Trad.). Madrid: Gredos.
Descartes, R. (1996). Reglas para la dirección del espíritu. J.M. Navarro (Trad.) Madrid: Alianza Editorial
Carus, P. (1903). The philosophical foundations of mathematics. Historical introduction. En The Monist. 13(2). pp. 273-294
Carnap, R. (1983). The logicist foundations of mathematics. En P. Benacerraf., & H. Putnam. (Eds.). Philosophy of mathematics. Selected readings. Londres: Cambridge University Press.
Brouwer, L.E.J. (1983). Intuitionism and formalism. En P. Benacerraf., & H. Putnam. (Eds.). Philosophy of mathematics. Selected readings. Londres: Cambridge University Press.
Bourbaki, N. (1949).”Foundations of mathematics for the working mathematician”. En The Journal of Symbolic Logic. 14(1). pp. 1-8
Bezhanishvili, G. (s.f.). Henkin’s method and the completeness theorem. Disponible en https://www.cs.nmsu.edu/historical-projects/Projects/completeness.pdf
Bell, J. L. (2017). “Continuity and Infinitesimals”. En The Stanford Encyclopedia of Philosophy. Disponible en https://plato.stanford.edu/archives/sum2017/entries/continuity/
Agudelo, 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.source.instname.spa.fl_str_mv instname:Universidad del Rosario
dc.source.reponame.spa.fl_str_mv reponame:Repositorio Institucional EdocUR
bitstream.url.fl_str_mv https://repository.urosario.edu.co/bitstreams/7298b6d3-7dca-4c18-b785-347ffe8de017/download
https://repository.urosario.edu.co/bitstreams/bac47035-324f-4f85-a29b-f5cc43783c7d/download
https://repository.urosario.edu.co/bitstreams/49387633-c089-4030-bff9-87b0840bfa14/download
https://repository.urosario.edu.co/bitstreams/21c18c01-5d4b-47c6-981c-9dac50e2b95b/download
bitstream.checksum.fl_str_mv d11fa3c79ab668471074c1c2d3ec73d4
fab9d9ed61d64f6ac005dee3306ae77e
6da4ff7bffc36c4fa687a1fe45dc792b
5a46dadb2ec986a235e59e9abb35352c
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositorio institucional EdocUR
repository.mail.fl_str_mv edocur@urosario.edu.co
_version_ 1814167524831395840
spelling Andrade Lotero, Edgar José79949900600Gómez Soto, María PaulaProfesional en Filosofía251dba8b-9965-4717-a366-5554c0a204706002018-08-29T14:52:45Z2018-08-29T14:52:45Z2018-08-232018El 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 propuestasThe 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.application/pdfhttps://doi.org/10.48713/10336_18390 http://repository.urosario.edu.co/handle/10336/18390spaUniversidad del RosarioEscuela de Ciencias HumanasFilosofíaAbierto (Texto Completo)EL 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.http://purl.org/coar/access_right/c_abf2Zach, R. (2016). “Hilbert’s Program”. En Stanford Encyclopedia of Philosophy. Disponible en https://plato.stanford.edu/archives/spr2016/entries/hilbert-program/Wisdom, J.O. (1953). “Berkeley’s criticism of the infinitesimal”. En The British Journal for the Philosophy of Science. 4(13). pp. 22-25Whitehead, A., & Russell, B. (1963). Principia Mathematica Vol 1. Londres: Cambridge University Press.Weiner, J. (2010). Understanding Frege’s project. En M. Potter., & T. Ricketts. (Eds.). The Cambridge Companion to Frege. Nueva York: Cambridge University Press.Von Neumann, J. (1983). The formalist foundations of mathematics. En P. Benacerraf., & H. Putnam. (Eds.). Philosophy of mathematics. Selected readings. Londres: Cambridge University Press.Vega, L. (1991). Introducción. En M.L., Puertas (Trad.). Elementos. Madrid: Gredos. 7-184Urquhart, A. (2006). Metatheory. En D. Jacquette (Ed.). A Companion to Philosophical Logic. United Kingdom: BlackwellTiles, M. (2006). Logical Foundations of Set Theory and Mathematics. En D. Jacquette (Ed.). A Companion to Philosophical Logic. United Kingdom: Blackwell. 365-376Tarski, A.(1944). “The Semantic Conception of Truth: and the Foundations of Semantics”. En Philosophy and Phenomenological Research. 4(3). pp. 341-376Snapper, E. (1979). “The three crises in mathematics: Logicism, Intuitionism and Formalism. En Mathematics Magazine. 52(4). pp. 207-216Russell, B. (2010). Introduction to Mathematical Philosophy. Londres: George Allen & Unwin Ltd.Russell, B. (2009) Principles of Mathematics. Londres: RoutledgeRaatikainen, P. (2018). “Godel’s Incompleteness Theorems”. En Stanford Encyclopedia of Philosophy. Disponible en https://plato.stanford.edu/archives/sum2018/entries/goedel-incompleteness/Putnam, H. (1983). “Mathematics without foundations”. En P. Benacerraf., & H. Putnam. (Eds.). Philosophy of mathematics. Selected readings. Londres: Cambridge University Press.Marek. V.W. & J. Mycielski. (2001). “Foundations of mathematics in the twentieth century”. En The American Mathematical Monthly. 108(5). pp. 449-468Kleiner, I. (2001). “History of the Infinitely Small and the Infinitely Large in Calculus”. En Educational Studies in Mathematics. 2/3(48). pp. 137-174Kleene, 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-139Irvine, A. & Deutsch, H. (2016). “Russell’s Paradox”. En The Stanford Encyclopedia of Philosophy. Disponible en https://plato.stanford.edu/archives/win2016/entries/russell-paradox/Hodges, A. (2013). “Alan Turing”. En The Stanford Encyclopedia of Philosophy. Disponible en https://plato.stanford.edu/archives/win2013/entries/turing/Hilbert, D. (1993d). Los fundamentos lógicos de las matemáticas. En L. F. Segura (Trad.). Fundamentos de las Matemáticas. México: UNAMHilbert, D. (1993c). La nueva fundamentación de las matemáticas. En L. F. Segura (Trad.). Fundamentos de las Matemáticas. México: UNAMHilbert, D. (1993b). El pensamiento axiomático. En L. F. Segura (Trad.). Fundamentos de las Matemáticas. México: UNAMHilbert, D. (1993a). Acerca del concepto de número. En L. F. Segura (Trad.). Fundamentos de las Matemáticas. México: UNAMHeyting, A. (1983). The intuitionist foundations of mathematics. En P. Benacerraf., & H. Putnam. (Eds.). Philosophy of mathematics. Selected readings. Londres: Cambridge University Press.Gö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-195Gö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-144Frege, G. (1973). Fundamentos de la aritmética. U. Moulines (Trad.). Barcelona: LaiaFrege, G. (1964). Exposition of the Begriffsschrift. En The basic laws of arithmetic. Londres: University of California PressFerreiró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/Feferman, 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-36Euclides. (1991). Elementos. M.L., Puertas (Trad.). Madrid: Gredos.Descartes, R. (1996). Reglas para la dirección del espíritu. J.M. Navarro (Trad.) Madrid: Alianza EditorialCarus, P. (1903). The philosophical foundations of mathematics. Historical introduction. En The Monist. 13(2). pp. 273-294Carnap, R. (1983). The logicist foundations of mathematics. En P. Benacerraf., & H. Putnam. (Eds.). Philosophy of mathematics. Selected readings. Londres: Cambridge University Press.Brouwer, L.E.J. (1983). Intuitionism and formalism. En P. Benacerraf., & H. Putnam. (Eds.). Philosophy of mathematics. Selected readings. Londres: Cambridge University Press.Bourbaki, N. (1949).”Foundations of mathematics for the working mathematician”. En The Journal of Symbolic Logic. 14(1). pp. 1-8Bezhanishvili, G. (s.f.). Henkin’s method and the completeness theorem. Disponible en https://www.cs.nmsu.edu/historical-projects/Projects/completeness.pdfBell, J. L. (2017). “Continuity and Infinitesimals”. En The Stanford Encyclopedia of Philosophy. Disponible en https://plato.stanford.edu/archives/sum2017/entries/continuity/Agudelo, 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 Colombiainstname:Universidad del Rosarioreponame:Repositorio Institucional EdocURIncompletitudFundamentosLogicismoFormalismoConsistenciaCompletitudVerdadPrincipios generales511600IncompletenessLogicismFormalismCompletenessFoundationsTruthTeoremas de incompletitudLógica simbólica y matemáticaFilosofía de las matemáticasLa incompletitud de los fundamentos de las matemáticasbachelorThesisTrabajo de gradohttp://purl.org/coar/resource_type/c_7a1fORIGINALLaIncompletitudDeLosFundamentos.pdfLaIncompletitudDeLosFundamentos.pdfapplication/pdf1189380https://repository.urosario.edu.co/bitstreams/7298b6d3-7dca-4c18-b785-347ffe8de017/downloadd11fa3c79ab668471074c1c2d3ec73d4MD51LICENSElicense.txtlicense.txttext/plain1475https://repository.urosario.edu.co/bitstreams/bac47035-324f-4f85-a29b-f5cc43783c7d/downloadfab9d9ed61d64f6ac005dee3306ae77eMD52TEXTLaIncompletitudDeLosFundamentos.pdf.txtLaIncompletitudDeLosFundamentos.pdf.txtExtracted texttext/plain111213https://repository.urosario.edu.co/bitstreams/49387633-c089-4030-bff9-87b0840bfa14/download6da4ff7bffc36c4fa687a1fe45dc792bMD53THUMBNAILLaIncompletitudDeLosFundamentos.pdf.jpgLaIncompletitudDeLosFundamentos.pdf.jpgGenerated Thumbnailimage/jpeg2322https://repository.urosario.edu.co/bitstreams/21c18c01-5d4b-47c6-981c-9dac50e2b95b/download5a46dadb2ec986a235e59e9abb35352cMD5410336/18390oai:repository.urosario.edu.co:10336/183902019-09-19 07:37:54.609585https://repository.urosario.edu.coRepositorio institucional EdocURedocur@urosario.edu.coRUwoTE9TKSBBVVRPUihFUyksIG1hbmlmaWVzdGEobWFuaWZlc3RhbW9zKSBxdWUgbGEgb2JyYSBvYmpldG8gZGUgbGEgcHJlc2VudGUgYXV0b3JpemFjacOzbiBlcyBvcmlnaW5hbCB5IGxhIHJlYWxpesOzIHNpbiB2aW9sYXIgbyB1c3VycGFyIGRlcmVjaG9zIGRlIGF1dG9yIGRlIHRlcmNlcm9zLCBwb3IgbG8gdGFudG8gbGEgb2JyYSBlcyBkZSBleGNsdXNpdmEgYXV0b3LDrWEgeSB0aWVuZSBsYSB0aXR1bGFyaWRhZCBzb2JyZSBsYSBtaXNtYS4gCgpQQVJHUkFGTzogRW4gY2FzbyBkZSBwcmVzZW50YXJzZSBjdWFscXVpZXIgcmVjbGFtYWNpw7NuIG8gYWNjacOzbiBwb3IgcGFydGUgZGUgdW4gdGVyY2VybyBlbiBjdWFudG8gYSBsb3MgZGVyZWNob3MgZGUgYXV0b3Igc29icmUgbGEgb2JyYSBlbiBjdWVzdGnDs24sIEVMIEFVVE9SLCBhc3VtaXLDoSB0b2RhIGxhIHJlc3BvbnNhYmlsaWRhZCwgeSBzYWxkcsOhIGVuIGRlZmVuc2EgZGUgbG9zIGRlcmVjaG9zIGFxdcOtIGF1dG9yaXphZG9zOyBwYXJhIHRvZG9zIGxvcyBlZmVjdG9zIGxhIHVuaXZlcnNpZGFkIGFjdMO6YSBjb21vIHVuIHRlcmNlcm8gZGUgYnVlbmEgZmUuIAoKRUwgQVVUT1IsIGF1dG9yaXphIGEgTEEgVU5JVkVSU0lEQUQgREVMIFJPU0FSSU8sICBwYXJhIHF1ZSBlbiBsb3MgdMOpcm1pbm9zIGVzdGFibGVjaWRvcyBlbiBsYSBMZXkgMjMgZGUgMTk4MiwgTGV5IDQ0IGRlIDE5OTMsIERlY2lzacOzbiBhbmRpbmEgMzUxIGRlIDE5OTMsIERlY3JldG8gNDYwIGRlIDE5OTUgeSBkZW3DoXMgbm9ybWFzIGdlbmVyYWxlcyBzb2JyZSBsYSBtYXRlcmlhLCAgdXRpbGljZSB5IHVzZSBsYSBvYnJhIG9iamV0byBkZSBsYSBwcmVzZW50ZSBhdXRvcml6YWNpw7NuLgoKLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KClBPTElUSUNBIERFIFRSQVRBTUlFTlRPIERFIERBVE9TIFBFUlNPTkFMRVMuIERlY2xhcm8gcXVlIGF1dG9yaXpvIHByZXZpYSB5IGRlIGZvcm1hIGluZm9ybWFkYSBlbCB0cmF0YW1pZW50byBkZSBtaXMgZGF0b3MgcGVyc29uYWxlcyBwb3IgcGFydGUgZGUgTEEgVU5JVkVSU0lEQUQgREVMIFJPU0FSSU8gIHBhcmEgZmluZXMgYWNhZMOpbWljb3MgeSBlbiBhcGxpY2FjacOzbiBkZSBjb252ZW5pb3MgY29uIHRlcmNlcm9zIG8gc2VydmljaW9zIGNvbmV4b3MgY29uIGFjdGl2aWRhZGVzIHByb3BpYXMgZGUgbGEgYWNhZGVtaWEsIGNvbiBlc3RyaWN0byBjdW1wbGltaWVudG8gZGUgbG9zIHByaW5jaXBpb3MgZGUgbGV5LiBQYXJhIGVsIGNvcnJlY3RvIGVqZXJjaWNpbyBkZSBtaSBkZXJlY2hvIGRlIGhhYmVhcyBkYXRhICBjdWVudG8gY29uIGxhIGN1ZW50YSBkZSBjb3JyZW8gaGFiZWFzZGF0YUB1cm9zYXJpby5lZHUuY28sIGRvbmRlIHByZXZpYSBpZGVudGlmaWNhY2nDs24gIHBvZHLDqSBzb2xpY2l0YXIgbGEgY29uc3VsdGEsIGNvcnJlY2Npw7NuIHkgc3VwcmVzacOzbiBkZSBtaXMgZGF0b3MuCgo=