El concepto de modelo en la lógica matemática
A partir de la aparición de la obra de Bertrand Russell y Alfred N. White head, "Principia Matemática", a comienzos del siglo; Y mas aún, después de iniciada la obra monumental de Bourbaki, que busca hacer una síntesis de las matemáticas partiendo de bases puramente axiomáticas, se ha vuel...
- Autores:
-
Caicedo Ferrer, Xavier
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 1970
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/44185
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/44185
http://bdigital.unal.edu.co/34283/
- Palabra clave:
- Matemática
Bourbaki
lógica
método axiomático
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional
id |
UNACIONAL2_aaa1a30915e087a0d0ae4f42959b837d |
---|---|
oai_identifier_str |
oai:repositorio.unal.edu.co:unal/44185 |
network_acronym_str |
UNACIONAL2 |
network_name_str |
Universidad Nacional de Colombia |
repository_id_str |
|
spelling |
Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Caicedo Ferrer, Xavier0ff2435b-6935-4f09-8822-2761be89c9293002019-06-28T13:06:00Z2019-06-28T13:06:00Z1970https://repositorio.unal.edu.co/handle/unal/44185http://bdigital.unal.edu.co/34283/A partir de la aparición de la obra de Bertrand Russell y Alfred N. White head, "Principia Matemática", a comienzos del siglo; Y mas aún, después de iniciada la obra monumental de Bourbaki, que busca hacer una síntesis de las matemáticas partiendo de bases puramente axiomáticas, se ha vuelto casi un lugar común la afirmación de que las matemáticas son reducibles a pura lógica. La razón que permite justificar esta afirmación es precisamente el método axiomático.application/pdfspaBoletín de Matemáticashttp://revistas.unal.edu.co/index.php/bolma/article/view/34411Universidad Nacional de Colombia Revistas electrónicas UN Boletín de MatemáticasBoletín de MatemáticasBoletín de Matemáticas; Vol. 4, núm. 4-6 (1970); 11-38 Boletín de Matemáticas; Vol. 4, núm. 4-6 (1970); 11-38 2357-6529 0120-0380Caicedo Ferrer, Xavier (1970) El concepto de modelo en la lógica matemática. Boletín de Matemáticas; Vol. 4, núm. 4-6 (1970); 11-38 Boletín de Matemáticas; Vol. 4, núm. 4-6 (1970); 11-38 2357-6529 0120-0380 .El concepto de modelo en la lógica matemáticaArtículo de revistainfo:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/ARTMatemáticaBourbakilógicamétodo axiomáticoORIGINAL34411-133100-1-PB.pdfapplication/pdf10670502https://repositorio.unal.edu.co/bitstream/unal/44185/1/34411-133100-1-PB.pdffece4e66fe8b0d0f9caa0d80dc1b5e3cMD51THUMBNAIL34411-133100-1-PB.pdf.jpg34411-133100-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg6645https://repositorio.unal.edu.co/bitstream/unal/44185/2/34411-133100-1-PB.pdf.jpg599bfb7df500e5478d035eceb6b73161MD52unal/44185oai:repositorio.unal.edu.co:unal/441852023-02-16 23:04:00.32Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co |
dc.title.spa.fl_str_mv |
El concepto de modelo en la lógica matemática |
title |
El concepto de modelo en la lógica matemática |
spellingShingle |
El concepto de modelo en la lógica matemática Matemática Bourbaki lógica método axiomático |
title_short |
El concepto de modelo en la lógica matemática |
title_full |
El concepto de modelo en la lógica matemática |
title_fullStr |
El concepto de modelo en la lógica matemática |
title_full_unstemmed |
El concepto de modelo en la lógica matemática |
title_sort |
El concepto de modelo en la lógica matemática |
dc.creator.fl_str_mv |
Caicedo Ferrer, Xavier |
dc.contributor.author.spa.fl_str_mv |
Caicedo Ferrer, Xavier |
dc.subject.proposal.spa.fl_str_mv |
Matemática Bourbaki lógica método axiomático |
topic |
Matemática Bourbaki lógica método axiomático |
description |
A partir de la aparición de la obra de Bertrand Russell y Alfred N. White head, "Principia Matemática", a comienzos del siglo; Y mas aún, después de iniciada la obra monumental de Bourbaki, que busca hacer una síntesis de las matemáticas partiendo de bases puramente axiomáticas, se ha vuelto casi un lugar común la afirmación de que las matemáticas son reducibles a pura lógica. La razón que permite justificar esta afirmación es precisamente el método axiomático. |
publishDate |
1970 |
dc.date.issued.spa.fl_str_mv |
1970 |
dc.date.accessioned.spa.fl_str_mv |
2019-06-28T13:06:00Z |
dc.date.available.spa.fl_str_mv |
2019-06-28T13:06:00Z |
dc.type.spa.fl_str_mv |
Artículo de revista |
dc.type.coar.fl_str_mv |
http://purl.org/coar/resource_type/c_2df8fbb1 |
dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/article |
dc.type.version.spa.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.coar.spa.fl_str_mv |
http://purl.org/coar/resource_type/c_6501 |
dc.type.coarversion.spa.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
dc.type.content.spa.fl_str_mv |
Text |
dc.type.redcol.spa.fl_str_mv |
http://purl.org/redcol/resource_type/ART |
format |
http://purl.org/coar/resource_type/c_6501 |
status_str |
publishedVersion |
dc.identifier.uri.none.fl_str_mv |
https://repositorio.unal.edu.co/handle/unal/44185 |
dc.identifier.eprints.spa.fl_str_mv |
http://bdigital.unal.edu.co/34283/ |
url |
https://repositorio.unal.edu.co/handle/unal/44185 http://bdigital.unal.edu.co/34283/ |
dc.language.iso.spa.fl_str_mv |
spa |
language |
spa |
dc.relation.spa.fl_str_mv |
http://revistas.unal.edu.co/index.php/bolma/article/view/34411 |
dc.relation.ispartof.spa.fl_str_mv |
Universidad Nacional de Colombia Revistas electrónicas UN Boletín de Matemáticas Boletín de Matemáticas |
dc.relation.ispartofseries.none.fl_str_mv |
Boletín de Matemáticas; Vol. 4, núm. 4-6 (1970); 11-38 Boletín de Matemáticas; Vol. 4, núm. 4-6 (1970); 11-38 2357-6529 0120-0380 |
dc.relation.references.spa.fl_str_mv |
Caicedo Ferrer, Xavier (1970) El concepto de modelo en la lógica matemática. Boletín de Matemáticas; Vol. 4, núm. 4-6 (1970); 11-38 Boletín de Matemáticas; Vol. 4, núm. 4-6 (1970); 11-38 2357-6529 0120-0380 . |
dc.rights.spa.fl_str_mv |
Derechos reservados - Universidad Nacional de Colombia |
dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
dc.rights.license.spa.fl_str_mv |
Atribución-NoComercial 4.0 Internacional |
dc.rights.uri.spa.fl_str_mv |
http://creativecommons.org/licenses/by-nc/4.0/ |
dc.rights.accessrights.spa.fl_str_mv |
info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Atribución-NoComercial 4.0 Internacional Derechos reservados - Universidad Nacional de Colombia http://creativecommons.org/licenses/by-nc/4.0/ http://purl.org/coar/access_right/c_abf2 |
eu_rights_str_mv |
openAccess |
dc.format.mimetype.spa.fl_str_mv |
application/pdf |
dc.publisher.spa.fl_str_mv |
Boletín de Matemáticas |
institution |
Universidad Nacional de Colombia |
bitstream.url.fl_str_mv |
https://repositorio.unal.edu.co/bitstream/unal/44185/1/34411-133100-1-PB.pdf https://repositorio.unal.edu.co/bitstream/unal/44185/2/34411-133100-1-PB.pdf.jpg |
bitstream.checksum.fl_str_mv |
fece4e66fe8b0d0f9caa0d80dc1b5e3c 599bfb7df500e5478d035eceb6b73161 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 |
repository.name.fl_str_mv |
Repositorio Institucional Universidad Nacional de Colombia |
repository.mail.fl_str_mv |
repositorio_nal@unal.edu.co |
_version_ |
1814089299160727552 |