Escudo de la República de Colombia
Sistema Nacional de Biliotecas - Repositorio Institucional Universidad Nacional de Colombia Biblioteca Digital - Repositorio Institucional UN Sistema Nacional de Bibliotecas UN

Algorithmic representation of wermus' constructions of ordinal numbers

Fuchs, Hartwig (2012) Algorithmic representation of wermus' constructions of ordinal numbers. Revista Colombiana de Matemáticas; Vol. 5, núm. 1 (1971); 10-16 0034-7426 .

Texto completo

[img]
Vista previa
PDF
2MB

URL oficial: http://revistas.unal.edu.co/index.php/recolma/arti...

Resumen

In his paper [3] Wermus defines ordinal numbers as "Z - symbols" of the form [a1n ..., ak   κ, ≥ 1 and [a1] , where the aj, 1≤ j, ≤ κ, are natural numbers or  Z -symbols. It wi II be demonstrated that Wermus' constructions can be described by means of a special Neumer algorithm, the constructive algorithm of [1], part I and V resp. a descriptive algorithm of  [2], part III ; more precisely:  that there can be established a 1-1 correspondence between Z- symbolsi [a1n ..., ak ] and algorithmic symbols T[a1n ..., ak ] such that [a1n ..., ak ] and T[a1n ..., ak ] represent  the same ordinal number. This comparision of the two systems further allows the determination of the least ordinal number which is inaccesible by Wermus' constructions in [3].

Tipo de documento:Artículo - Article
Palabras clave:Wermus, ordinal numbers, natural numbers, constructive algorithm
Unidad administrativa:Revistas electrónicas UN > Revista Colombiana de Matemáticas
Código ID:32286
Enviado por : Dirección Nacional de Bibliotecas STECNICO
Enviado el día :30 Junio 2014 23:50
Ultima modificación:18 Agosto 2014 19:49
Ultima modificación:18 Agosto 2014 19:49
Exportar:Clic aquí
Estadísticas:Clic aquí
Compartir:

Solamente administradores del repositorio: página de control del ítem

Vicerrectoría de Investigación: Número uno en investigación
Indexado por:
Indexado por Scholar Google WorldCat DRIVER Registry of Open Access Repositories OpenDOAR Metabiblioteca BDCOL OAIster Red de repositorios latinoamericanos DSpace BASE Open archives La referencia Colombiae Open Access Theses and Dissertations Tesis latinoamericanas CLACSO
Este sitio web se ve mejor en Firefox