Matemáticos

Línea de Tiempo Fotos Dinero Estampillas Bosquejo Búsqueda

William Werner Boone

Fecha del nacimiento:

Lugar del nacimiento:

Fecha de la muerte:

Lugar de la muerte:

16 Jan 1920

Cincinnati, Ohio, USA

14 Sept 1983

Urbana, Illinois, USA

Presentación
ATENCIÓN - traducción automática de la versión inglesa

Bill Boone formó como un contador después de dejar la escuela secundaria. Como su familia no tenía mucho dinero que tuvo que ganar su forma de trabajo como barman. Sin embargo, su verdadera ambición en este momento se convirtió en un escritor y asistió a talleres de escritura y escribió un cuento corto.

Bill se dirigió a la matemática, teniendo un grado a tiempo parcial en la Universidad de Cincinnati. Se graduó en 1945 y, ese mismo año, comenzó estudios de postgrado en Princeton.

Obtuvo un doctorado de Princeton en 1952 al no haber para llevar a cabo Publicar 's sugerencia de construir un grupo finitamente presentado con palabra problema insoluble. Correos y Markov había construido semigroups independiente con esta propiedad en 1947. Boone, de hecho, había construido para su tesis doctoral un ejemplo de un grupo finitamente presentado con ninguna manera de decidir si un determinado elemento se encuentra en el subsemigroup generado un conjunto finito. Boone la tesis en Princeton fue la Iglesia y su tesis se tituló Varios simple, problemas insolubles del Grupo de Teoría Relacionado a la Palabra de problemas.

En 1950, Turing dio un ejemplo de un cancellative con semigroup problema insoluble palabra (que tiene en un momento creyó erróneamente que podría resolver el problema del grupo). A raíz de estas ideas de Turing "s Boone finalmente resultó la insolubilidad de la palabra problema para los grupos en 1957, dos años después publicó su Novikov prueba.

Boone en 1959 demostró que muchos otros problemas para los grupos de decisión fueron insolubles. Boone trabajó desde 1958 en Illinois, Urbana, donde se basó para el resto de su vida. Sin embargo le gustó Europa y pasó mucho tiempo allí.

Pasó los años 1972-73 y 1978-79 en Oxford y escribió un documento conjunto con G Higman durante la primera de estas visitas que es de gran importancia. Se da una caracterización algebraica de los grupos con solubles palabra problema con la conexión de esta propiedad embeddability en un simple grupo.

Source:School of Mathematics and Statistics University of St Andrews, Scotland