La axiomatización y los números naturales ii
Como construir el orden a partir de los axiomas de peanoAl intentar demostrar los teoremas 2.3 - 2.5 en una teoría de números naturales basada sólo en los axiomas de PEANO, se ve fácilmente que las demostraciones dadas se trasladan a tal teoría, después de haber introducido una relación de orden en...
- Autores:
-
Burger, Ewald
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 1965
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/43519
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/43519
http://bdigital.unal.edu.co/33617/
- Palabra clave:
- Axiomas de Peano
números naturales
teoría de cadenas
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional
id |
UNACIONAL2_0fa22b2a5282997e92f33068b0b231d6 |
---|---|
oai_identifier_str |
oai:repositorio.unal.edu.co:unal/43519 |
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_abf2Burger, Ewald05058708-10c1-44f2-b658-3ed8659805ae3002019-06-28T12:05:01Z2019-06-28T12:05:01Z1965https://repositorio.unal.edu.co/handle/unal/43519http://bdigital.unal.edu.co/33617/Como construir el orden a partir de los axiomas de peanoAl intentar demostrar los teoremas 2.3 - 2.5 en una teoría de números naturales basada sólo en los axiomas de PEANO, se ve fácilmente que las demostraciones dadas se trasladan a tal teoría, después de haber introducido una relación de orden entre los números naturales tal que o sea el elemento mínimo de N respecto a este orden y n' sea el mínimo elemento de N mayor que n. Así resulta el problema de definir el orden natural de N basándose únicamente en los axiomas de PEANO y no utilizando los fundamentos que hemos dado de los números naturales en la teoría de conjuntos. Existen varias soluciones para este problema: el método de DEDEKIND es el más directo y se basa en la teoría de cadenasapplication/pdfspaUniversidad Nacuional de Colombia; Sociedad Colombiana de matemáticashttp://revistas.unal.edu.co/index.php/recolma/article/view/33494Universidad Nacional de Colombia Revistas electrónicas UN Revista Colombiana de MatemáticasRevista Colombiana de MatemáticasRevista Colombiana de Matemáticas; Vol. 7, núm. 2 (1965); 20- 31 0034-7426Burger, Ewald (1965) La axiomatización y los números naturales ii. Revista Colombiana de Matemáticas; Vol. 7, núm. 2 (1965); 20- 31 0034-7426 .La axiomatización y los números naturales iiArtí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/ARTAxiomas de Peanonúmeros naturalesteoría de cadenasORIGINAL33494-124258-1-PB.pdfapplication/pdf7668582https://repositorio.unal.edu.co/bitstream/unal/43519/1/33494-124258-1-PB.pdf00ce7e31c3dbcb061e2739d231fbe9b4MD51THUMBNAIL33494-124258-1-PB.pdf.jpg33494-124258-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg7703https://repositorio.unal.edu.co/bitstream/unal/43519/2/33494-124258-1-PB.pdf.jpgd38e974169d91c6f4f3f90fb925bb4c1MD52unal/43519oai:repositorio.unal.edu.co:unal/435192023-02-13 23:03:47.078Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co |
dc.title.spa.fl_str_mv |
La axiomatización y los números naturales ii |
title |
La axiomatización y los números naturales ii |
spellingShingle |
La axiomatización y los números naturales ii Axiomas de Peano números naturales teoría de cadenas |
title_short |
La axiomatización y los números naturales ii |
title_full |
La axiomatización y los números naturales ii |
title_fullStr |
La axiomatización y los números naturales ii |
title_full_unstemmed |
La axiomatización y los números naturales ii |
title_sort |
La axiomatización y los números naturales ii |
dc.creator.fl_str_mv |
Burger, Ewald |
dc.contributor.author.spa.fl_str_mv |
Burger, Ewald |
dc.subject.proposal.spa.fl_str_mv |
Axiomas de Peano números naturales teoría de cadenas |
topic |
Axiomas de Peano números naturales teoría de cadenas |
description |
Como construir el orden a partir de los axiomas de peanoAl intentar demostrar los teoremas 2.3 - 2.5 en una teoría de números naturales basada sólo en los axiomas de PEANO, se ve fácilmente que las demostraciones dadas se trasladan a tal teoría, después de haber introducido una relación de orden entre los números naturales tal que o sea el elemento mínimo de N respecto a este orden y n' sea el mínimo elemento de N mayor que n. Así resulta el problema de definir el orden natural de N basándose únicamente en los axiomas de PEANO y no utilizando los fundamentos que hemos dado de los números naturales en la teoría de conjuntos. Existen varias soluciones para este problema: el método de DEDEKIND es el más directo y se basa en la teoría de cadenas |
publishDate |
1965 |
dc.date.issued.spa.fl_str_mv |
1965 |
dc.date.accessioned.spa.fl_str_mv |
2019-06-28T12:05:01Z |
dc.date.available.spa.fl_str_mv |
2019-06-28T12:05:01Z |
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/43519 |
dc.identifier.eprints.spa.fl_str_mv |
http://bdigital.unal.edu.co/33617/ |
url |
https://repositorio.unal.edu.co/handle/unal/43519 http://bdigital.unal.edu.co/33617/ |
dc.language.iso.spa.fl_str_mv |
spa |
language |
spa |
dc.relation.spa.fl_str_mv |
http://revistas.unal.edu.co/index.php/recolma/article/view/33494 |
dc.relation.ispartof.spa.fl_str_mv |
Universidad Nacional de Colombia Revistas electrónicas UN Revista Colombiana de Matemáticas Revista Colombiana de Matemáticas |
dc.relation.ispartofseries.none.fl_str_mv |
Revista Colombiana de Matemáticas; Vol. 7, núm. 2 (1965); 20- 31 0034-7426 |
dc.relation.references.spa.fl_str_mv |
Burger, Ewald (1965) La axiomatización y los números naturales ii. Revista Colombiana de Matemáticas; Vol. 7, núm. 2 (1965); 20- 31 0034-7426 . |
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 |
Universidad Nacuional de Colombia; Sociedad Colombiana de matemáticas |
institution |
Universidad Nacional de Colombia |
bitstream.url.fl_str_mv |
https://repositorio.unal.edu.co/bitstream/unal/43519/1/33494-124258-1-PB.pdf https://repositorio.unal.edu.co/bitstream/unal/43519/2/33494-124258-1-PB.pdf.jpg |
bitstream.checksum.fl_str_mv |
00ce7e31c3dbcb061e2739d231fbe9b4 d38e974169d91c6f4f3f90fb925bb4c1 |
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_ |
1814089911721000960 |