Universidad del Valle Biblioteca Digital

Biblioteca Digital Universidad del Valle > Patrimonio Documental Universidad del Valle > Revistas > Matemáticas Enseñanza Universitaria > Vol. 15 no. 1, 2007 / Matemática Enseñanza Universitaria >

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10893/1815

Título : Los reales efectivos de Schanuel
Autores: Mejía, Carolina
Montoya, J. Andrés
Palabras clave : Máquinas de Turing
Fecha de publicación: 13-oct-2011
Resumen: En este artículo se presenta y analiza una construcción de los reales debida a S. Schanuel. La construcción tiene virtudes formales, como lo es, el construir el campo de los reales, directamente desde la estructura de grupo abeliano de los enteros sin requerir la construcción previa del campo de los números racionales. Y tiene ventajas computacionales siendo como es una construcción e ciente y que es fácil hacer efectiva. Una versión efectiva de la construcción es presentada y analizada en el artículo.
URI: http://hdl.handle.net/10893/1815
Aparece en las colecciones: Vol. 15 no. 1, 2007 / Matemática Enseñanza Universitaria

Texto completo:

Archivo Descripción Tamaño Formato
Vol. XV No 1 Jun, 2007 p. 85-108.pdf413.73 kBAdobe PDFDescargar aquí
Ver estadísticas

Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons
Creative Commons

Los ítems de Biblioteca Digital están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.

 

Biblioteca Mario Carvajal
biblioteca@univalle.edu.co
Teléfonos +57 2 3212950 - Fax 3212977
Universidad del Valle - Ciudad Universitaria
Calle 13 # 100-00 Cali, Colombia
    Biblioteca San Fernando
biblioteca@univalle.edu.co
Teléfonos +57 2 5185633 - Fax 5581951
Universidad del Valle - Sede San Fernando
Calle 4a.B # 36-00
Cali, Colombia
    Biblioteca Colección Clínica
biblioteca@univalle.edu.co
Teléfonos +57 2 5576113
Hospital Universitario del Valle
Calle 5a # 36-08
Cali, Colombia
DSpace Software Copyright © 2002-2008 MIT and Hewlett-Packard