Sonny Alberto Medina Jimnez

Anlisis Numrico

Resumen y opinin sobre el texto:
What every computer scientist should know about Floating-Point Arithmetic
De David Goldberg

En palabras de David Goldberg, un eminente computlogo norteamericano, la Aritmtica
del Punto Flotante es un tema ubicuo en los sistemas computacionales esto quiere decir
que independientemente de si estamos escribiendo un resumen en office Word o
precisando la ruta de un satlite para la NASA, la Aritmtica del Punto Flotante estar
presente en nuestros procesos de cmputo.

Antes de hablar de error de redondeo, formatos de punto flotante, el estndar
internacional de ingenieros electrnicos o en general sobre tipos de error, es importante
precisar que la aritmtica del punto flotante, rigurosamente definida es una forma
de notacin cientfica, con la cual se pueden representar nmeros racionales
extremadamente grandes y pequeos de una manera muy eficiente y compacta, y con la
que se pueden realizar operaciones aritmticas. En la teora matemtica cuando hablamos
de nmeros a secas, usualmente nos referimos a los nmeros reales, stos pueden ser
catalogados como nmeros racionales o nmeros irracionales, a lo que nos referimos
cuando hablamos de un nmero irracional es a un nmero cuya expansin decimal es
infinita, de esta manera si lidiramos con nmeros irracionales en un sistema de cmputo
el tiempo de virtualizacin de una cantidad irracional sera infinitamente grande, la
imposibilidad de este manejo de nmeros irracionales es la que motiva la existencia de
algoritmos o tcnicas de redondeo.


El texto de Goldberg no aborda la definicin de una aritmtica del punto flotante
especfica, sin embargo explica casi con el rigor de un texto sobre matemticas puras los
algoritmos de notacin cientfica explicando as de manera detallada lo que son los errores
relativos y su relacin con las unidades de ltimo lugar, posteriormente enuncia un par de
teoremas de suma importancia. El primero y ms importante dice lo siguiente:
Si se usa un formato de punto flotante con parmetros b y p y diferencias de cmputo
usando p dgitos el error relativo del resultado puede ser tan grande como b-1. De la
Sonny Alberto Medina Jimnez
Anlisis Numrico
misma manera y en la formalidad de un teorema Goldberg explica la relacin entre el error
de redondeo y el psilon mquina.

Una vez que ha explicado la matemtica de los algoritmos computacionales, Goldberg
aborda entre otros temas la importancia de la unificacin de formatos de punto flotante,
habla de los estndares IEEE y cmo funcionan las operaciones bajo estos estndares.

El texto finaliza con una charla tendida sobre lenguajes de programacin y compiladores,
exhibiendo bondades y defectos de stos as como numerosos teoremas sobre tipos de
errores en algoritmos computacionales.

A mi parecer es un texto muy ilustrativo sobre el panorama en sistemas de cmputo para
personas con conocimientos extensivos en matemticas discretas, provee de mucha
informacin en temas de redondeo y errores relativos, pienso que seguramente es material
de suma importancia, por su contenido bsico, para computlogos, y es muy interesante
conocer un pilar esttico de la computacin, pues a pesar de que el artculo fue escrito en
1991, la aritmtica de punto flotante es un algoritmo vigente, en palabras de David
Goldberg, ubicuo.