Sistemas Formales, informalmente. ¿Por qué intentaron formalizar a la matemática si era tan buena muchacha?

La corriente formalista de las matemáticas, cuya noción central es la de sistema formal, constituye un intento de fundamentar el conocimiento matemático sobre una base sólida que garantice su validez absoluta y universal. Las matemáticas siempre han gozado de la reputación de ser la ciencia más exac...

Full description

Autores:
Gómez, Pedro
Gómez, Cristina
Tipo de recurso:
Book
Fecha de publicación:
1999
Institución:
Universidad de los Andes
Repositorio:
Séneca: repositorio Uniandes
Idioma:
spa
OAI Identifier:
oai:repositorio.uniandes.edu.co:1992/40565
Acceso en línea:
http://hdl.handle.net/1992/40565
http://funes.uniandes.edu.co/668/
Palabra clave:
Lógica
Pensamiento matemático
Deductivo
Generalización
Educación / Licenciaturas
Rights
openAccess
License
Attribution-NonCommercial-NoDerivatives 4.0 Internacional
id UNIANDES2_67ddf630f2ab1f49e81313228dcbc915
oai_identifier_str oai:repositorio.uniandes.edu.co:1992/40565
network_acronym_str UNIANDES2
network_name_str Séneca: repositorio Uniandes
repository_id_str
dc.title.es_CO.fl_str_mv Sistemas Formales, informalmente. ¿Por qué intentaron formalizar a la matemática si era tan buena muchacha?
title Sistemas Formales, informalmente. ¿Por qué intentaron formalizar a la matemática si era tan buena muchacha?
spellingShingle Sistemas Formales, informalmente. ¿Por qué intentaron formalizar a la matemática si era tan buena muchacha?
Lógica
Pensamiento matemático
Deductivo
Generalización
Educación / Licenciaturas
title_short Sistemas Formales, informalmente. ¿Por qué intentaron formalizar a la matemática si era tan buena muchacha?
title_full Sistemas Formales, informalmente. ¿Por qué intentaron formalizar a la matemática si era tan buena muchacha?
title_fullStr Sistemas Formales, informalmente. ¿Por qué intentaron formalizar a la matemática si era tan buena muchacha?
title_full_unstemmed Sistemas Formales, informalmente. ¿Por qué intentaron formalizar a la matemática si era tan buena muchacha?
title_sort Sistemas Formales, informalmente. ¿Por qué intentaron formalizar a la matemática si era tan buena muchacha?
dc.creator.fl_str_mv Gómez, Pedro
Gómez, Cristina
dc.contributor.author.none.fl_str_mv Gómez, Pedro
Gómez, Cristina
dc.subject.keyword.es_CO.fl_str_mv Lógica
Pensamiento matemático
Deductivo
Generalización
topic Lógica
Pensamiento matemático
Deductivo
Generalización
Educación / Licenciaturas
dc.subject.themes.none.fl_str_mv Educación / Licenciaturas
description La corriente formalista de las matemáticas, cuya noción central es la de sistema formal, constituye un intento de fundamentar el conocimiento matemático sobre una base sólida que garantice su validez absoluta y universal. Las matemáticas siempre han gozado de la reputación de ser la ciencia más exacta y rigurosa; aquella que más se ha acercado al ideal de conocimiento absoluto y cuya verdad está más alla de toda duda. A través de la historia se han dado varios intentos de justificar las pretensiones de verdad de las matemáticas. Este libro, al introducir de manera sencilla el concepto de sistema formal, permite mostrar el papel que este concepto puede jugar en diversos campos de las matemáticas y de la ciencia. Adicionalmente, al considerar en cierto detalle algunas de estas áreas y mostrar la relación que es posible establecer entre una realidad y el sistema formal que la modela, el libro pretende desarrollar en el lector, al menos parcialmente, las capacidades de abstracción y simplificación necesarias para el análisis de realidades complejas. Por otra parte, este conjunto de temas buscan preparar al lector para la comprensión intuitiva de uno de los resultados más importantes de la historia y la filosofía de las matemáticas de este siglo: el teorema de Incompletitud de Gödel. El primer capítulo es un drama en tres actos sobre las aventuras y vicisitudes de los sistemas axiomáticos y formales. El acertijo de MU presenta los elementos de un sistema formal y allí se establece un lenguaje común. Producir los números, Fractales, Juego de vida, Sistemas formales y lenguaje, El método axiomático, Los sistemas sociales y las matemáticas, Un ejemplo de axiomatización y Sistemas axiomáticos son los temas en los que se presenta el proceso de modelaje. El orden en que se presentan corresponde, no al desarrollo histórico que han tenido sino al grado de dificultad, comenzando con un sistema puramente formal (sin semántica) hasta llegar a las definiciones de consistencia e independencia en un sistema axiomático. Los últimos capítulos: Regreso al futuro III, El final de la historia, Observaciones sobre la demostración de Gödel y El teorema de Gödel a través de acertijos retoman la parte histórica del desarrollo de la formalización matemática y el resultado de Gödel: el teorema de Incompletitud. El libro es el resultado de nuestra experiencia en el diseño e implementación de los cursos de matemáticas para ciencias sociales en la Universidad de los Andes (en especial en el curso de Matebásica) y del interés que muchas personas han manifestado en este tema. Además de tener propósitos de divulgación, el libro ha sido diseñado de tal manera que pueda ser utilizado como libro de texto en el último ciclo de bachillerato y el primer ciclo universitario.
publishDate 1999
dc.date.issued.none.fl_str_mv 1999
dc.date.accessioned.none.fl_str_mv 2020-06-11T21:19:21Z
dc.date.available.none.fl_str_mv 2020-06-11T21:19:21Z
dc.type.spa.fl_str_mv Libro
dc.type.coarversion.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/book
dc.type.coar.spa.fl_str_mv http://purl.org/coar/resource_type/c_2f33
dc.type.content.spa.fl_str_mv Text
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/LIB
format http://purl.org/coar/resource_type/c_2f33
dc.identifier.citation.none.fl_str_mv Gómez, Pedro; Gómez, Cristina (1999). Sistemas Formales, informalmente. ¿Por qué intentaron formalizar a la matemática si era tan buena muchacha? Bogotá: una empresa docente.
dc.identifier.uri.none.fl_str_mv http://hdl.handle.net/1992/40565
dc.identifier.doi.none.fl_str_mv 10.57784/1992/40565
dc.identifier.url.es_CO.fl_str_mv http://funes.uniandes.edu.co/668/
dc.identifier.instname.spa.fl_str_mv instname:Universidad de los Andes
dc.identifier.reponame.spa.fl_str_mv reponame:Repositorio Institucional Séneca
dc.identifier.repourl.spa.fl_str_mv repourl:https://repositorio.uniandes.edu.co/
identifier_str_mv Gómez, Pedro; Gómez, Cristina (1999). Sistemas Formales, informalmente. ¿Por qué intentaron formalizar a la matemática si era tan buena muchacha? Bogotá: una empresa docente.
10.57784/1992/40565
instname:Universidad de los Andes
reponame:Repositorio Institucional Séneca
repourl:https://repositorio.uniandes.edu.co/
url http://hdl.handle.net/1992/40565
http://funes.uniandes.edu.co/668/
dc.language.iso.es_CO.fl_str_mv spa
language spa
dc.rights.license.spa.fl_str_mv Attribution-NonCommercial-NoDerivatives 4.0 Internacional
dc.rights.uri.*.fl_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
dc.rights.coar.spa.fl_str_mv http://purl.org/coar/access_right/c_abf2
rights_invalid_str_mv Attribution-NonCommercial-NoDerivatives 4.0 Internacional
http://creativecommons.org/licenses/by-nc-sa/4.0/
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.mimetype.none.fl_str_mv application/pdf
dc.coverage.spatial.es_CO.fl_str_mv Bogotá, Colombia
dc.publisher.es_CO.fl_str_mv Una empresa docente
dc.publisher.faculty.none.fl_str_mv Facultad de Educación
dc.source.es_CO.fl_str_mv instname:Universidad de los Andes
reponame:Repositorio Institucional Séneca
instname_str Universidad de los Andes
institution Universidad de los Andes
reponame_str Repositorio Institucional Séneca
collection Repositorio Institucional Séneca
bitstream.url.fl_str_mv https://repositorio.uniandes.edu.co/bitstreams/e5186d70-0094-4d57-be90-287ca62d0711/download
https://repositorio.uniandes.edu.co/bitstreams/c2ed67c7-edc3-4d00-81c2-a63790a21346/download
https://repositorio.uniandes.edu.co/bitstreams/1f6f46dd-7c2d-4ce1-959f-44de50caf264/download
https://repositorio.uniandes.edu.co/bitstreams/2a1f97ad-af64-4577-a3f3-7aad7ac0fb59/download
bitstream.checksum.fl_str_mv 9b433f213d73db6ae83d4f61dd54e9bd
910519f54c2ffbdfa1cfaf18f95f8971
31e4ad04361475619589f23d2fbe2ea5
3712501b71477eef138f931c5a7aac67
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositorio institucional Séneca
repository.mail.fl_str_mv adminrepositorio@uniandes.edu.co
_version_ 1812134000345481216
spelling Attribution-NonCommercial-NoDerivatives 4.0 Internacionalhttp://creativecommons.org/licenses/by-nc-sa/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Gómez, Pedro8082600Gómez, Cristina6e908e56-8084-4773-acf9-2c80ccf4ec2c600Bogotá, Colombia2020-06-11T21:19:21Z2020-06-11T21:19:21Z1999Gómez, Pedro; Gómez, Cristina (1999). Sistemas Formales, informalmente. ¿Por qué intentaron formalizar a la matemática si era tan buena muchacha? Bogotá: una empresa docente.http://hdl.handle.net/1992/4056510.57784/1992/40565http://funes.uniandes.edu.co/668/instname:Universidad de los Andesreponame:Repositorio Institucional Sénecarepourl:https://repositorio.uniandes.edu.co/La corriente formalista de las matemáticas, cuya noción central es la de sistema formal, constituye un intento de fundamentar el conocimiento matemático sobre una base sólida que garantice su validez absoluta y universal. Las matemáticas siempre han gozado de la reputación de ser la ciencia más exacta y rigurosa; aquella que más se ha acercado al ideal de conocimiento absoluto y cuya verdad está más alla de toda duda. A través de la historia se han dado varios intentos de justificar las pretensiones de verdad de las matemáticas. Este libro, al introducir de manera sencilla el concepto de sistema formal, permite mostrar el papel que este concepto puede jugar en diversos campos de las matemáticas y de la ciencia. Adicionalmente, al considerar en cierto detalle algunas de estas áreas y mostrar la relación que es posible establecer entre una realidad y el sistema formal que la modela, el libro pretende desarrollar en el lector, al menos parcialmente, las capacidades de abstracción y simplificación necesarias para el análisis de realidades complejas. Por otra parte, este conjunto de temas buscan preparar al lector para la comprensión intuitiva de uno de los resultados más importantes de la historia y la filosofía de las matemáticas de este siglo: el teorema de Incompletitud de Gödel. El primer capítulo es un drama en tres actos sobre las aventuras y vicisitudes de los sistemas axiomáticos y formales. El acertijo de MU presenta los elementos de un sistema formal y allí se establece un lenguaje común. Producir los números, Fractales, Juego de vida, Sistemas formales y lenguaje, El método axiomático, Los sistemas sociales y las matemáticas, Un ejemplo de axiomatización y Sistemas axiomáticos son los temas en los que se presenta el proceso de modelaje. El orden en que se presentan corresponde, no al desarrollo histórico que han tenido sino al grado de dificultad, comenzando con un sistema puramente formal (sin semántica) hasta llegar a las definiciones de consistencia e independencia en un sistema axiomático. Los últimos capítulos: Regreso al futuro III, El final de la historia, Observaciones sobre la demostración de Gödel y El teorema de Gödel a través de acertijos retoman la parte histórica del desarrollo de la formalización matemática y el resultado de Gödel: el teorema de Incompletitud. El libro es el resultado de nuestra experiencia en el diseño e implementación de los cursos de matemáticas para ciencias sociales en la Universidad de los Andes (en especial en el curso de Matebásica) y del interés que muchas personas han manifestado en este tema. Además de tener propósitos de divulgación, el libro ha sido diseñado de tal manera que pueda ser utilizado como libro de texto en el último ciclo de bachillerato y el primer ciclo universitario.application/pdfspaUna empresa docenteFacultad de Educacióninstname:Universidad de los Andesreponame:Repositorio Institucional SénecaSistemas Formales, informalmente. ¿Por qué intentaron formalizar a la matemática si era tan buena muchacha?Libroinfo:eu-repo/semantics/bookhttp://purl.org/coar/resource_type/c_2f33http://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/LIBLógicaPensamiento matemáticoDeductivoGeneralizaciónEducación / LicenciaturasPublicationTEXTPorque-intentaron.pdf.txtPorque-intentaron.pdf.txtExtracted texttext/plain197777https://repositorio.uniandes.edu.co/bitstreams/e5186d70-0094-4d57-be90-287ca62d0711/download9b433f213d73db6ae83d4f61dd54e9bdMD53THUMBNAILPorque-intentaron.pdf.jpgPorque-intentaron.pdf.jpgIM Thumbnailimage/jpeg4812https://repositorio.uniandes.edu.co/bitstreams/c2ed67c7-edc3-4d00-81c2-a63790a21346/download910519f54c2ffbdfa1cfaf18f95f8971MD54ORIGINALPorque-intentaron.pdfPorque-intentaron.pdfapplication/pdf413296https://repositorio.uniandes.edu.co/bitstreams/1f6f46dd-7c2d-4ce1-959f-44de50caf264/download31e4ad04361475619589f23d2fbe2ea5MD52LICENSElicense.txtlicense.txttext/plain; charset=utf-81865https://repositorio.uniandes.edu.co/bitstreams/2a1f97ad-af64-4577-a3f3-7aad7ac0fb59/download3712501b71477eef138f931c5a7aac67MD511992/40565oai:repositorio.uniandes.edu.co:1992/405652024-09-10 11:43:18.875http://creativecommons.org/licenses/by-nc-sa/4.0/open.accesshttps://repositorio.uniandes.edu.coRepositorio institucional Sénecaadminrepositorio@uniandes.edu.coUG9yIGludGVybWVkaW8gZGVsIHByZXNlbnRlIGRvY3VtZW50byBlbiBtaSBjYWxpZGFkIGRlIGF1dG9yIG8gdGl0dWxhciBkZSBsb3MgZGVyZWNob3MgZGUgcHJvcGllZGFkIGludGVsZWN0dWFsIGRlIGxhIG9icmEgcXVlIGFkanVudG8sIGF1dG9yaXpvIGEgbGEgVW5pdmVyc2lkYWQgZGUgTG9zIEFuZGVzIHBhcmEgcXVlIHV0aWxpY2UgZW4gdG9kYXMgc3VzIGZvcm1hcywgbG9zIGRlcmVjaG9zIHBhdHJpbW9uaWFsZXMgZGUgcmVwcm9kdWNjacOzbiwgY29tdW5pY2FjacOzbiBww7pibGljYSwgdHJhbnNmb3JtYWNpw7NuIHkgZGlzdHJpYnVjacOzbiAoYWxxdWlsZXIsIHByw6lzdGFtbyBww7pibGljbyBlIGltcG9ydGFjacOzbikgcXVlIG1lIGNvcnJlc3BvbmRlbiBjb21vIGNyZWFkb3IgbyB0aXR1bGFyIGRlIGxhIG9icmEgb2JqZXRvIGRlbCBwcmVzZW50ZSBkb2N1bWVudG8uCgpMYSBwcmVzZW50ZSBhdXRvcml6YWNpw7NuIHNlIGRhIHNpbiByZXN0cmljY2nDs24gZGUgdGllbXBvIG5pIHRlcnJpdG9yaW8geSBkZSBtYW5lcmEgZ3JhdHVpdGEuIEVudGllbmRvIHF1ZSBwdWVkbyBzb2xpY2l0YXIgYSBsYSBVbml2ZXJzaWRhZCBkZSBsb3MgQW5kZXMgcmV0aXJhciBtaSBvYnJhIGVuIGN1YWxxdWllciBtb21lbnRvIHRhbnRvIGRlIGxvcyByZXBvc2l0b3Jpb3MgY29tbyBkZWwgY2F0w6Fsb2dvIHNpIGFzw60gbG8gZGVjaWRvLgoKTGEgcHJlc2VudGUgYXV0b3JpemFjacOzbiBzZSBvdG9yZ2EgZGUgbWFuZXJhIG5vIGV4Y2x1c2l2YSwgeSBsYSBtaXNtYSBubyBpbXBsaWNhIHRyYW5zZmVyZW5jaWEgZGUgbWlzIGRlcmVjaG9zIHBhdHJpbW9uaWFsZXMgZW4gZmF2b3IgZGUgbGEgVW5pdmVyc2lkYWQsIHBvciBsbyBxdWUgcG9kcsOpIHV0aWxpemFyIHkgZXhwbG90YXIgbGEgb2JyYSBkZSBsYSBtYW5lcmEgcXVlIG1lam9yIGNvbnNpZGVyZS4gTGEgcHJlc2VudGUgYXV0b3JpemFjacOzbiBubyBpbXBsaWNhIGxhIGNlc2nDs24gZGUgbG9zIGRlcmVjaG9zIG1vcmFsZXMgeSBsYSBVbml2ZXJzaWRhZCBkZSBsb3MgQW5kZXMgbG9zIHJlY29ub2NlcsOhIHkgdmVsYXLDoSBwb3IgZWwgcmVzcGV0byBhIGxvcyBtaXNtb3MuIAoKTGEgcHJlc2VudGUgYXV0b3JpemFjacOzbiBzZSBoYWNlIGV4dGVuc2l2YSBubyBzw7NsbyBhIGxhcyBmYWN1bHRhZGVzIHkgZGVyZWNob3MgZGUgdXNvIHNvYnJlIGxhIG9icmEgZW4gZm9ybWF0byBvIHNvcG9ydGUgbWF0ZXJpYWwsIHNpbm8gdGFtYmnDqW4gcGFyYSBmb3JtYXRvIGVsZWN0csOzbmljbywgeSBlbiBnZW5lcmFsIHBhcmEgY3VhbHF1aWVyIGZvcm1hdG8gY29ub2NpZG8gbyBwb3IgY29ub2Nlci4gTWFuaWZpZXN0byBxdWUgbGEgb2JyYSBvYmpldG8gZGUgbGEgcHJlc2VudGUgYXV0b3JpemFjacOzbiBlcyBvcmlnaW5hbCB5IGxhIHJlYWxpY8OpIHNpbiB2aW9sYXIgbyB1c3VycGFyIGRlcmVjaG9zIGRlIGF1dG9yIGRlIHRlcmNlcm9zLCBwb3IgbG8gdGFudG8sIGxhIG9icmEgZXMgZGUgbWkgZXhjbHVzaXZhIGF1dG9yw61hIG8gdGVuZ28gbGEgdGl0dWxhcmlkYWQgc29icmUgbGEgbWlzbWEuIAoKRW4gY2FzbyBkZSBwcmVzZW50YXJzZSBjdWFscXVpZXIgcmVjbGFtYWNpw7NuIG8gcG9yIGFjY2nDs24gcG9yIHBhcnRlIGRlIHVuIHRlcmNlcm8gZW4gY3VhbnRvIGEgbG9zIGRlcmVjaG9zIGRlIGF1dG9yIHNvYnJlIGxhIG9icmEgZW4gY3Vlc3Rpw7NuIGFzdW1pcsOpIHRvZGEgbGEgcmVzcG9uc2FiaWxpZGFkLCB5IHNhbGRyw6kgZW4gZGVmZW5zYSBkZSBsb3MgZGVyZWNob3MgYXF1w60gYXV0b3JpemFkb3MgcGFyYSB0b2RvcyBsb3MgZWZlY3RvcyBsYSBVbml2ZXJzaWRhZCBhY3TDumEgY29tbyB1biB0ZXJjZXJvIGRlIGJ1ZW5hIGZlLgo=