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 puede considerar que fundó 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 modelos de cohetes hasta que uno de sus amigos resultó herido en un accidente con un cohete y contrajo una infección cerebral fatal. [3] Gosper se matriculó 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-computadora. [3]
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 . [3]
Desde entonces, ha trabajado o ha sido consultor 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 tal patrón, 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 sobre problemas de embalaje , 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 necesaria ] 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 [6] 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. [7] Ver cronología del cálculo de π .
En la continuidad de 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 , todas ellas casos especiales de la curva general de Rham— y siguiendo el camino de Benoit Mandelbrot , Gosper descubrió la curva de Peano-Gosper. curva , antes de comenzar con variaciones del dragón Harter-Heighway . [8] A finales de los años 80, Gosper descubrió de forma independiente el triángulo Gosper-Lafitte. [9]
para el Mathematica Player gratuito