Ralph William Gosper Jr. (nacido el 26 de abril de 1943), conocido como Bill Gosper , es un matemático y programador estadounidense. [1] Junto con Richard Greenblatt , se le puede considerar el fundador de la comunidad hacker , y ocupa un lugar de orgullo en la comunidad Lisp . [2] La curva de Gosper y el algoritmo de Gosper llevan su nombre.
En la escuela secundaria, Gosper estaba interesado en los cohetes modelo hasta que uno de sus amigos resultó herido en un accidente de cohetería y contrajo una infección cerebral fatal. [3] Gosper se inscribió en el MIT en 1961, y recibió su licenciatura en matemáticas del MIT en 1965 a pesar de estar descontento con el departamento de matemáticas debido a su actitud anti-computadoras. [3]
En su segundo año en el MIT, Gosper tomó un curso de programación de John McCarthy y se afilió al Laboratorio de Inteligencia Artificial del MIT .
Sus contribuciones a las matemáticas computacionales incluyen HAKMEM y el sistema Maclisp del MIT . Hizo contribuciones importantes a Macsyma , el sistema de álgebra computacional del Proyecto MAC . Gosper trabajó más tarde con Symbolics y Macsyma, Inc. en versiones comerciales de Macsyma.
En 1974, se trasladó a la Universidad de Stanford , donde impartió conferencias y trabajó con Donald Knuth . [3]
Desde entonces, ha trabajado o brindado asesoramiento para Xerox PARC , Symbolics , Wolfram Research , Lawrence Livermore Laboratory y Macsyma Inc.
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 un patrón de ese tipo, el cañón planeador , y ganó el premio. [4] Gosper también fue el creador del algoritmo Hashlife , que puede acelerar el cálculo de patrones de Vida en muchos órdenes de magnitud.
Gosper ha creado numerosos acertijos con problemas de empaquetado , como "Twubblesome Twelve". [5]
Gosper fue la primera persona en darse cuenta de las posibilidades del cálculo simbólico en una computadora como herramienta de investigación matemática, [ cita requerida ] mientras que los métodos informáticos anteriormente se limitaban a métodos puramente numéricos. En particular, esta investigación dio como resultado su trabajo sobre representaciones de números reales en fracciones continuas [6] y el algoritmo de Gosper para encontrar identidades hipergeométricas en 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. [7] Véase la cronología del cálculo de π .
En la continuidad de los ejemplos de curvas que llenan el espacio de principios del siglo XX (la curva de Koch-Peano, la curva C de Cesàro y Lévy , todos casos especiales de la curva general de De Rham ) y siguiendo el camino de Benoit Mandelbrot , Gosper descubrió la curva de Peano-Gosper , antes de dedicarse a variaciones del dragón de Harter-Heighway . [8] A finales de los años 80, Gosper descubrió de forma independiente el triángulo de Gosper-Lafitte. [9]
para el reproductor gratuito de Mathematica