Jeffrey Charles Percy Miller (31 de agosto de 1906 - 24 de abril de 1981) fue un matemático inglés y pionero de la informática . Trabajó en teoría de números y en geometría , particularmente en poliedros , donde el monstruo de Miller se refiere al gran dirhombicosidodecaedro .
Fue uno de los primeros miembros del Laboratorio de Computación de la Universidad de Cambridge . [1] Contribuyó en la computación a la construcción y documentación de tablas matemáticas , [2] y mediante la propuesta de ciertos algoritmos . El algoritmo de recurrencia de Miller se menciona en el Manual de funciones matemáticas . [3]
Lo que Miller percibió fue que en una recurrencia lineal de segundo orden que tiene soluciones suficientemente diferenciadas asintóticamente, hay una solución que puede caracterizarse únicamente por un valor inicial y un conocimiento de su crecimiento. Esto condujo a un algoritmo para calcular ciertas soluciones de la ecuación que requería sólo un escaso conocimiento de sus valores puntuales. [4]
En el volumen 2 de El arte de la programación informática , Donald Knuth atribuye a Miller una técnica básica sobre series de potencias formales , para la evaluación recursiva de coeficientes de potencias o funciones más generales. [5]
En la teoría de la estelación de poliedros, hizo algunas sugerencias influyentes a HSM Coxeter . Éstas se conocieron como reglas de Miller . El resultado fue el libro de 1938 sobre los cincuenta y nueve icosaedros , escrito por Coxeter y Patrick du Val . [6] En la década de 1930, Coxeter y Miller encontraron 12 nuevos poliedros uniformes , un paso en el proceso de su clasificación completa en la década de 1950. [7] Miller también realizó una investigación temprana sobre lo que ahora se conoce como el autómata celular de la Regla 90 . [8]
Miller estaba casado con Germaine Miller (de soltera Gough) en 1934 y tuvo tres hijos (David, Alison y Jane). Germaine murió en Cambridge cuando cumplió 100 años en marzo de 2010 y está enterrada en la iglesia de San Andrés, Chesterton , Cambridge.