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