Mathématiciens

Ligne de temps Photos Argent Timbres Croquis Recherche

William Werner Boone

Date de naissance:

Endroit de naissance:

Date de la mort:

Endroit de la mort:

16 Jan 1920

Cincinnati, Ohio, USA

14 Sept 1983

Urbana, Illinois, USA

Présentation
ATTENTION - traduction automatique de la version anglaise

Le projet de loi Boone une formation de comptable après avoir quitté l'école secondaire. Comme sa famille n'avait pas beaucoup d'argent il a dû gagner sa façon de travail comme un barman. Mais sa véritable ambition à l'époque était de devenir écrivain et il a participé à des ateliers sur l'écriture et a écrit un court récit.

Le projet de loi se sont tournés vers les mathématiques en prenant un temps partiel degré à l'Université de Cincinnati. Il a obtenu son diplôme en 1945 et, la même année, a commencé des études supérieures à Princeton.

Il a obtenu un doctorat à Princeton en 1952 pour ne pas avoir a posteriori de l 'idée de construire un groupe finiment présenté avec mot problème insoluble. Post et Markov a construit indépendamment semigroupes avec cette propriété en 1947. En fait Boone avait construit pour sa thèse de doctorat, un exemple d'un groupe finiment présenté avec aucun moyen de déterminer si un élément donné réside dans le subsemigroup généré fixe un ensemble fini. Boone du directeur de thèse à Princeton a été l'Eglise et sa thèse était en droit Plusieurs simple, Unsolvable problèmes de Théorie des groupes liés à la Parole du problème.

En 1950, Turing a donné un exemple d'un semigroupe cancellative insolubles mot problème (qui à un moment cru à tort qu'il pouvait résoudre le problème groupe). Suite à ces idées de Turing 's Boone s'est finalement avéré l'insolubilité du problème mot pour les groupes en 1957, deux ans après Novikov a publié sa preuve.

Boone prouvé en 1959 que de nombreux autres problèmes de décision pour les groupes étaient insolubles. De 1958 Boone travaillé à l'Illinois, Urbana, où il a été fondée pour le reste de sa vie. Il a toutefois souhaité que l'Europe et y ont dépensé beaucoup de temps.

Il a passé les années 1972-73 et 1978-79 à Oxford et a écrit un document commun avec le G Higman au cours de la première de ces visites qui est d'une importance majeure. Il donne une caractérisation algébrique des groupes avec solubles mot problème de connexion cette propriété avec embeddability dans un simple groupe.

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