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...
- 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= |