Bill Gosper
Ralph William Gosper Jr. (nacido el 26 de abril de 1943), conocido como Bill Gosper, es un matemático y programador estadounidense. Junto con Richard Greenblatt, se puede considerar que fundó la comunidad de hackers y ocupa un lugar de orgullo en la comunidad Lisp. La curva de Gosper y el algoritmo de Gosper llevan su nombre.
Convertirse en hacker
En la escuela secundaria, Gosper estaba interesado en los modelos de cohetes hasta que uno de sus amigos resultó herido en un accidente con un cohete y contrajo una infección cerebral fatal. Gosper se matriculó en el MIT en 1961 y recibió su licenciatura en matemáticas del MIT en 1965 a pesar de sentirse descontento con el departamento de matemáticas debido a su actitud anticomputadora.
En su segundo año en el MIT, Gosper tomó un curso de programación de John McCarthy y se afilió al MIT AI Lab.
Sus contribuciones a las matemáticas computacionales incluyen HAKMEM y el sistema MIT Maclisp. Hizo importantes contribuciones a Macsyma, el sistema de álgebra informática del Proyecto MAC. Posteriormente, Gosper trabajó con Symbolics y Macsyma, Inc. en versiones comerciales de Macsyma.
En 1974, se trasladó a la Universidad de Stanford, donde dio conferencias y trabajó con Donald Knuth.
Desde entonces, ha trabajado o ha sido consultor para Xerox PARC, Symbolics, Wolfram Research, Lawrence Livermore Laboratory y Macsyma Inc.
Contribuciones clave
El juego de la vida de Conway
Se interesó intensamente en el Juego de la Vida poco después de que John Horton Conway lo propusiera. Conway conjeturó la existencia de patrones de crecimiento infinito y ofreció una recompensa por un ejemplo. Gosper fue el primero en encontrar ese patrón, el cañón planeador, y ganó el premio. Gosper también fue el creador del algoritmo Hashlife que puede acelerar el cálculo de patrones de vida en muchos órdenes de magnitud.
Problemas de embalaje
Gosper ha creado numerosos acertijos sobre problemas de embalaje, como "Twubblesome Twelve".
Cálculo simbólico
Gosper fue la primera persona en darse cuenta de las posibilidades de la computación simbólica en una computadora como herramienta de investigación matemática, mientras que los métodos informáticos anteriormente se limitaban a métodos puramente numéricos. En particular, esta investigación resultó en su trabajo sobre representaciones de fracciones continuas de números reales y el algoritmo de Gosper para encontrar identidades hipergeométricas de forma cerrada.
En 1985, Gosper ostentó brevemente el récord mundial por calcular la mayor cantidad de dígitos de pi con 17 millones de dígitos. Ver cronología del cálculo de π.
Curvas que llenan el espacio
En la continuidad de los ejemplos de curvas que llenan el espacio de principios del siglo XX (la curva de Koch-Peano, la curva de Cesàro y la curva C de Lévy, todos casos especiales de la curva general de Rham) y siguiendo el camino de Benoit Mandelbrot, Gosper descubrió la Curva de Peano-Gosper, antes de abordar variaciones del dragón Harter-Heighway. A finales de los 80, Gosper descubrió de forma independiente el triángulo Gosper-Lafitte.