Verdad, prueba y papel tornasol

En el presente artículo se analiza la cuestión de si la verdad matemática o, en general, la verdad en las ciencias formales puede identificarse con la prueba que permite la aseve-ración de contenidos en estas ciencias. La respuesta que se defiende es negativa, y se argumenta explicitando el signific...

Full description

Autores:
Frápolli, María José
Tipo de recurso:
https://purl.org/coar/resource_type/c_6501
Fecha de publicación:
2014
Institución:
Universidad El Bosque
Repositorio:
Repositorio U. El Bosque
Idioma:
spa
OAI Identifier:
oai:repositorio.unbosque.edu.co:20.500.12495/6255
Acceso en línea:
https://hdl.handle.net/20.500.12495/6255
https://doi.org/10.18270/rcfc.v14i28.670
Palabra clave:
Verdad
Prueba
Criterios de aseveración
Definición de verdad
Prooración
Truth
Proof
Assertion criteria
Definition of truth
Prosentence
Rights
License
Atribución-NoComercial-CompartirIgual 4.0 Internacional
id UNBOSQUE2_ca0532e1e6782e8bb50df30530fe5966
oai_identifier_str oai:repositorio.unbosque.edu.co:20.500.12495/6255
network_acronym_str UNBOSQUE2
network_name_str Repositorio U. El Bosque
repository_id_str
dc.title.spa.fl_str_mv Verdad, prueba y papel tornasol
dc.title.translated.spa.fl_str_mv Truth, proof and litmus paper
title Verdad, prueba y papel tornasol
spellingShingle Verdad, prueba y papel tornasol
Verdad
Prueba
Criterios de aseveración
Definición de verdad
Prooración
Truth
Proof
Assertion criteria
Definition of truth
Prosentence
title_short Verdad, prueba y papel tornasol
title_full Verdad, prueba y papel tornasol
title_fullStr Verdad, prueba y papel tornasol
title_full_unstemmed Verdad, prueba y papel tornasol
title_sort Verdad, prueba y papel tornasol
dc.creator.fl_str_mv Frápolli, María José
dc.contributor.author.none.fl_str_mv Frápolli, María José
dc.contributor.orcid.none.fl_str_mv 0000-0002-4375-3331
dc.subject.spa.fl_str_mv Verdad
Prueba
Criterios de aseveración
Definición de verdad
Prooración
topic Verdad
Prueba
Criterios de aseveración
Definición de verdad
Prooración
Truth
Proof
Assertion criteria
Definition of truth
Prosentence
dc.subject.keywords.spa.fl_str_mv Truth
Proof
Assertion criteria
Definition of truth
Prosentence
description En el presente artículo se analiza la cuestión de si la verdad matemática o, en general, la verdad en las ciencias formales puede identificarse con la prueba que permite la aseve-ración de contenidos en estas ciencias. La respuesta que se defiende es negativa, y se argumenta explicitando el significado de la noción de verdad de acuerdo con la teoría prooracional. Las oraciones en las que ocurren términos veritativos como “verdad” o “verdadero” funcionan como variables proposicionales complejas del lenguaje natural. A estas oraciones las llamamos prooraciones. Los actos de habla en los que las proora-ciones ocurren carecen de contenido en aislamiento y solo lo adquieren por referencia anafórica o catafórica a un acto de habla asertivo realizado con éxito. En el artículo se distingue entre los criterios que dan derecho para aseverar un contenido matemático y el significado de la noción de verdad aplicada a un contenido matemático. La prueba es un criterio de aseveración, uno entre otros como asumen filósofos como Putnam o Maddy. El significado de la noción de verdad es independiente de los criterios y se mantiene estable en todos sus usos.
publishDate 2014
dc.date.issued.none.fl_str_mv 2014-01-01
dc.date.accessioned.none.fl_str_mv 2021-11-03T14:30:42Z
dc.date.available.none.fl_str_mv 2021-11-03T14:30:42Z
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.coarversion.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.local.spa.fl_str_mv Artículo de revista
dc.type.coar.none.fl_str_mv https://purl.org/coar/resource_type/c_6501
dc.type.driver.none.fl_str_mv info:eu-repo/semantics/article
dc.type.coarversion.none.fl_str_mv https://purl.org/coar/version/c_970fb48d4fbd8a85
format https://purl.org/coar/resource_type/c_6501
dc.identifier.issn.none.fl_str_mv 0124-4620
dc.identifier.uri.none.fl_str_mv https://hdl.handle.net/20.500.12495/6255
dc.identifier.doi.none.fl_str_mv https://doi.org/10.18270/rcfc.v14i28.670
dc.identifier.instname.spa.fl_str_mv instname:Universidad El Bosque
dc.identifier.reponame.spa.fl_str_mv reponame:Repositorio Institucional Universidad El Bosque
dc.identifier.repourl.none.fl_str_mv repourl:https://repositorio.unbosque.edu.co
identifier_str_mv 0124-4620
instname:Universidad El Bosque
reponame:Repositorio Institucional Universidad El Bosque
repourl:https://repositorio.unbosque.edu.co
url https://hdl.handle.net/20.500.12495/6255
https://doi.org/10.18270/rcfc.v14i28.670
dc.language.iso.none.fl_str_mv spa
language spa
dc.relation.ispartofseries.spa.fl_str_mv Revista Colombiana de Filosofía de la Ciencia, 0124-4620, Vol. 14 Núm 28, 2014, 7 -24.
dc.relation.uri.none.fl_str_mv https://revistas.unbosque.edu.co/index.php/rcfc/article/view/670
dc.relation.references.spa.fl_str_mv Benacerraf, P. “Mathematical truth”. The Journal of Philosophy 7.19 (1973): 661-679.
Carston, R. Thoughts and Utterances. The Pragmatics of Explicit Communica-tion. Oxford: Blackwell, 2002.
Frápolli, M. J. “Relativism of truth vs. dogmatism about truths. A false dicho-tomy”. Te o r e ma XXVIII.3 (2009).—. The Nature of Truth. An Updated Approach to the Meaning of Truth Adscrip-tions. Springer, 2012.—. “How to naturalize truth”. Regarding Mind, Naturally: Naturalist Approaches to the Sciences of the Mental. Eds. Marcin Milkowski y K. Talmont-Kaminski. Cambridge Scholars Publishing, 2013. 262-281.—. “No miracles. What does it mean that science seeks the truth?” (en prensa).
Frápolli, M. J. & N. Villanueva. “Frege, Sellars, Brandom: expresivismo e inferencialismo semánticos”. Perspectivas en la filosofía del lenguaje. Comp. David Pérez Chico. Prensas de la Universidad de Zaragoza, 2013. 583-617
Frege, G. Posthumous Writings. Oxford: Basil Blackwell, 1979.
Grover Grover, D. A Prosentential Ttheory of Truth. Princeton University Press, 1992.
Grover, D. L, J. L. Camp & N. Belnap. “A prosentential theory of truth”. Philosophical Studies 27 (1975): 73-125.
Haack, S. “The unitiy of truth and the plirality of truths”. 2003. Putting Philosophy to work. Inquiry and its place in culture. Essays on science, religión, law, literatura, and life. Amherts, NY: Prometheus Book, 2008. 43-60.
Kaplan, D. “Demonstratives”. 1979. Themes fromKaplan. Eds. Joseph Almong, Howard Wettstein y John Perry. New York: Oxford University Press, 1989.
Maddy, P. “Believing the axioms I”. The Journal of Symbolic Logic 53.2 (1988): 481-511.
Musgrave, A. “The miracle argument for scientific realism”. The Rutherford Journal. (2007). En línea. <rutherfordjournal.org>
Putnam, H. “What is mathematical truth?”. Mathematics, Matter and Method. Philosophical Papers 1. Cambridge University Press, 1975. 60-78.
Quine, W. v, O. “Truth by convention”. 1939. Philosophy of Mathematics. Selected Readings. Eds. P. Benacerraf y H.Putnam. Cambridge University Press, 1964.
Ramsey, F. P. “La naturaleza de la verdad”. 1927. Frank Plumpton Ramsey. Obra filosófica completa. Ed. M.J. Frápolli. Granada: Editorial Comares, 2005. 318-335.
Read, S. (2010): “Necessary proof and truth”. Kriterion jun. 2012: 47-67.
Recanati, F. Truth Conditional Pragmatics. Oxford University Press, 2010.
Schlick, M. (1930/1959) “El viraje de la filosofía”. A. J. Ayer. El positivismo lógico. México, D. F.: Fondo de Cultura Económica. Edición original: Logical Positivism, Chicago: The Free Press of Glencoe, 1959
Searle, J. Actos de habla. Madrid: Cátedra, 1980. Edición original de 1969, Speech Acts. An Essay in the Philosophy of Language. Cambridge: Univer-sity Press.
Stojanovic, I. What is Said: An Inquiry into Reference, Meaning and Content. VDM Verlag Dr. Müller, 2008.
Tarski, A. “The concept of truth in formalized languages”. 1935. Logic, Seman-tics, Metamathematics. Papers from 1923 to 1938. Oxford: Clarendon Press, 1956. 152-278.—. “Truth and Proof ”. 1969. Alfred Tarski. Collected Papers 4, 1958-1979. Eds. R. Givant y E. N. McKenzie Birkäuser. Basel, Boston, Stuttgart, 1986. 401-423.
Williams, C.J.F. What is Truth? Cambridge: Cambridge University Press, 1976 .—. Being, Identity and Truth. Oxford: Clarendon Press, 1992.—. “The prosentential theory of truth”. Reports on Philosophy 15 (1995): 147-154.
Williams, M. Problems of Knowledge. A Critical Introduction to Epistemology. Oxford University Press, 2001.
dc.rights.*.fl_str_mv Atribución-NoComercial-CompartirIgual 4.0 Internacional
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.uri.*.fl_str_mv https://creativecommons.org/licenses/by-nc-sa/4.0/
dc.rights.local.spa.fl_str_mv Acceso abierto
dc.rights.accessrights.none.fl_str_mv https://purl.org/coar/access_right/c_abf2
rights_invalid_str_mv Atribución-NoComercial-CompartirIgual 4.0 Internacional
https://creativecommons.org/licenses/by-nc-sa/4.0/
Acceso abierto
https://purl.org/coar/access_right/c_abf2
http://purl.org/coar/access_right/c_abf2
dc.format.mimetype.none.fl_str_mv application/pdf
dc.publisher.journal.spa.fl_str_mv Revista Colombiana de Filosofía de la Ciencia
institution Universidad El Bosque
bitstream.url.fl_str_mv https://pruebas-update-repositorio-unbosque.cloudbiteca.com/bitstreams/62b34ade-3ecf-49b8-94fe-73f13518e007/download
https://pruebas-update-repositorio-unbosque.cloudbiteca.com/bitstreams/b4acdc18-f42d-43d6-b04f-cc9a8478aebd/download
https://pruebas-update-repositorio-unbosque.cloudbiteca.com/bitstreams/94e9ab4d-9576-42db-8db5-b7a418936b34/download
https://pruebas-update-repositorio-unbosque.cloudbiteca.com/bitstreams/98e1c059-7b38-4c86-a4d7-9f8c8b0da543/download
bitstream.checksum.fl_str_mv 2b02a8b14a781e331d7e9953b7034bac
934f4ca17e109e0a05eaeaba504d7ce4
8a4605be74aa9ea9d79846c1fba20a33
31b49a40889205e214bdc405a7646e48
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositorio Institucional Universidad El Bosque
repository.mail.fl_str_mv bibliotecas@biteca.com
_version_ 1849967212487507968
spelling Frápolli, María José0000-0002-4375-33312021-11-03T14:30:42Z2021-11-03T14:30:42Z2014-01-010124-4620https://hdl.handle.net/20.500.12495/6255https://doi.org/10.18270/rcfc.v14i28.670instname:Universidad El Bosquereponame:Repositorio Institucional Universidad El Bosquerepourl:https://repositorio.unbosque.edu.coEn el presente artículo se analiza la cuestión de si la verdad matemática o, en general, la verdad en las ciencias formales puede identificarse con la prueba que permite la aseve-ración de contenidos en estas ciencias. La respuesta que se defiende es negativa, y se argumenta explicitando el significado de la noción de verdad de acuerdo con la teoría prooracional. Las oraciones en las que ocurren términos veritativos como “verdad” o “verdadero” funcionan como variables proposicionales complejas del lenguaje natural. A estas oraciones las llamamos prooraciones. Los actos de habla en los que las proora-ciones ocurren carecen de contenido en aislamiento y solo lo adquieren por referencia anafórica o catafórica a un acto de habla asertivo realizado con éxito. En el artículo se distingue entre los criterios que dan derecho para aseverar un contenido matemático y el significado de la noción de verdad aplicada a un contenido matemático. La prueba es un criterio de aseveración, uno entre otros como asumen filósofos como Putnam o Maddy. El significado de la noción de verdad es independiente de los criterios y se mantiene estable en todos sus usos.The present paper analyzes the question whether mathematical truth or, in general, truth in formal sciences can be identified with the proofs that would entitle an agent to assert contents belonging to these sciences. A negative answer, resting on the meaning of the notion of truth, is defended. Sentences in which terms such as “true”, “truly” or “truth” occur work as complex propositional variables, which we call prosentences. Speech acts in which prosentences occur lack content in isolation; such content they acquire when anaphorically linked to a successful assertive speech act. The paper establishes a distinc-tion between the criteria that entitles to assert a mathematical content and the definition of the notion of truth. Proofs are among the assertion criteria, as Putnam and Maddy assume. The meaning of truth is independent of criteria and is stable in all its uses.application/pdfspaRevista Colombiana de Filosofía de la Ciencia, 0124-4620, Vol. 14 Núm 28, 2014, 7 -24.https://revistas.unbosque.edu.co/index.php/rcfc/article/view/670Benacerraf, P. “Mathematical truth”. The Journal of Philosophy 7.19 (1973): 661-679.Carston, R. Thoughts and Utterances. The Pragmatics of Explicit Communica-tion. Oxford: Blackwell, 2002.Frápolli, M. J. “Relativism of truth vs. dogmatism about truths. A false dicho-tomy”. Te o r e ma XXVIII.3 (2009).—. The Nature of Truth. An Updated Approach to the Meaning of Truth Adscrip-tions. Springer, 2012.—. “How to naturalize truth”. Regarding Mind, Naturally: Naturalist Approaches to the Sciences of the Mental. Eds. Marcin Milkowski y K. Talmont-Kaminski. Cambridge Scholars Publishing, 2013. 262-281.—. “No miracles. What does it mean that science seeks the truth?” (en prensa).Frápolli, M. J. & N. Villanueva. “Frege, Sellars, Brandom: expresivismo e inferencialismo semánticos”. Perspectivas en la filosofía del lenguaje. Comp. David Pérez Chico. Prensas de la Universidad de Zaragoza, 2013. 583-617Frege, G. Posthumous Writings. Oxford: Basil Blackwell, 1979.Grover Grover, D. A Prosentential Ttheory of Truth. Princeton University Press, 1992.Grover, D. L, J. L. Camp & N. Belnap. “A prosentential theory of truth”. Philosophical Studies 27 (1975): 73-125.Haack, S. “The unitiy of truth and the plirality of truths”. 2003. Putting Philosophy to work. Inquiry and its place in culture. Essays on science, religión, law, literatura, and life. Amherts, NY: Prometheus Book, 2008. 43-60.Kaplan, D. “Demonstratives”. 1979. Themes fromKaplan. Eds. Joseph Almong, Howard Wettstein y John Perry. New York: Oxford University Press, 1989.Maddy, P. “Believing the axioms I”. The Journal of Symbolic Logic 53.2 (1988): 481-511.Musgrave, A. “The miracle argument for scientific realism”. The Rutherford Journal. (2007). En línea. <rutherfordjournal.org>Putnam, H. “What is mathematical truth?”. Mathematics, Matter and Method. Philosophical Papers 1. Cambridge University Press, 1975. 60-78.Quine, W. v, O. “Truth by convention”. 1939. Philosophy of Mathematics. Selected Readings. Eds. P. Benacerraf y H.Putnam. Cambridge University Press, 1964.Ramsey, F. P. “La naturaleza de la verdad”. 1927. Frank Plumpton Ramsey. Obra filosófica completa. Ed. M.J. Frápolli. Granada: Editorial Comares, 2005. 318-335.Read, S. (2010): “Necessary proof and truth”. Kriterion jun. 2012: 47-67.Recanati, F. Truth Conditional Pragmatics. Oxford University Press, 2010.Schlick, M. (1930/1959) “El viraje de la filosofía”. A. J. Ayer. El positivismo lógico. México, D. F.: Fondo de Cultura Económica. Edición original: Logical Positivism, Chicago: The Free Press of Glencoe, 1959Searle, J. Actos de habla. Madrid: Cátedra, 1980. Edición original de 1969, Speech Acts. An Essay in the Philosophy of Language. Cambridge: Univer-sity Press.Stojanovic, I. What is Said: An Inquiry into Reference, Meaning and Content. VDM Verlag Dr. Müller, 2008.Tarski, A. “The concept of truth in formalized languages”. 1935. Logic, Seman-tics, Metamathematics. Papers from 1923 to 1938. Oxford: Clarendon Press, 1956. 152-278.—. “Truth and Proof ”. 1969. Alfred Tarski. Collected Papers 4, 1958-1979. Eds. R. Givant y E. N. McKenzie Birkäuser. Basel, Boston, Stuttgart, 1986. 401-423.Williams, C.J.F. What is Truth? Cambridge: Cambridge University Press, 1976 .—. Being, Identity and Truth. Oxford: Clarendon Press, 1992.—. “The prosentential theory of truth”. Reports on Philosophy 15 (1995): 147-154.Williams, M. Problems of Knowledge. A Critical Introduction to Epistemology. Oxford University Press, 2001.Atribución-NoComercial-CompartirIgual 4.0 Internacionalhttps://creativecommons.org/licenses/by-nc-sa/4.0/Acceso abiertohttps://purl.org/coar/access_right/c_abf2http://purl.org/coar/access_right/c_abf2VerdadPruebaCriterios de aseveraciónDefinición de verdadProoraciónTruthProofAssertion criteriaDefinition of truthProsentenceVerdad, prueba y papel tornasolTruth, proof and litmus paperArtículo de revistahttps://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1info:eu-repo/semantics/articlehttps://purl.org/coar/version/c_970fb48d4fbd8a85http://purl.org/coar/version/c_970fb48d4fbd8a85Revista Colombiana de Filosofía de la CienciaORIGINALRCFC2014.jpgRCFC2014.jpgimage/jpeg57580https://pruebas-update-repositorio-unbosque.cloudbiteca.com/bitstreams/62b34ade-3ecf-49b8-94fe-73f13518e007/download2b02a8b14a781e331d7e9953b7034bacMD51trueAnonymousREADCC-LICENSElicense_rdflicense_rdfapplication/rdf+xml; charset=utf-81031https://pruebas-update-repositorio-unbosque.cloudbiteca.com/bitstreams/b4acdc18-f42d-43d6-b04f-cc9a8478aebd/download934f4ca17e109e0a05eaeaba504d7ce4MD52falseAnonymousREADLICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://pruebas-update-repositorio-unbosque.cloudbiteca.com/bitstreams/94e9ab4d-9576-42db-8db5-b7a418936b34/download8a4605be74aa9ea9d79846c1fba20a33MD53falseAnonymousREADTHUMBNAILRCFC2014.jpg.jpgRCFC2014.jpg.jpgIM Thumbnailimage/jpeg3143https://pruebas-update-repositorio-unbosque.cloudbiteca.com/bitstreams/98e1c059-7b38-4c86-a4d7-9f8c8b0da543/download31b49a40889205e214bdc405a7646e48MD54falseAnonymousREAD20.500.12495/6255oai:pruebas-update-repositorio-unbosque.cloudbiteca.com:20.500.12495/62552021-11-04T03:03:28.493Zhttps://creativecommons.org/licenses/by-nc-sa/4.0/Atribución-NoComercial-CompartirIgual 4.0 Internacionalopen.accesshttps://pruebas-update-repositorio-unbosque.cloudbiteca.comRepositorio Institucional Universidad El Bosquebibliotecas@biteca.comTk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=