William Boone (matematiker)

William Werner Boone
William W. Boone och Eileen Boone vid Altgeld Hall, University of Illinois, 1979
Född	( 1920-01-16 ) 16 januari 1920 Cincinnati, Ohio
dog	14 september 1983 (14-09-1983) (63 år) Urbana, Illinois
Nationalitet	amerikansk
Alma mater	Princeton Universitet
Känd för	Boone–Higman-sats Boone–Rogers-sats Novikov–Boone-sats
Vetenskaplig karriär
Fält	Matematik
institutioner	University of Illinois i Urbana–Champaign Institute for Advanced Study
Doktorand rådgivare	Alonzo kyrka

William Werner Boone (16 januari 1920 i Cincinnati – 14 september 1983 i Urbana, Illinois ) var en amerikansk matematiker. Han avslutade sin grundexamen som deltidsstudent vid University of Cincinnati .

Alonzo Church var hans Ph.D. rådgivare vid Princeton , och Kurt Gödel var hans vän vid Institutet för avancerade studier .

Pyotr Novikov visade 1955 att det finns en ändligt presenterad grupp G så att ordet problem för G är oavgörbart. Ett annat bevis erhölls av Boone 1958.

Utvalda publikationer

• WW Boone, Beslutsproblem om algebraiska och logiska system som helhet och rekursivt uppräknade grader av olöslighet. 1968 Bidrag till matematik. Logik (Colloquium, Hannover, 1966), Nord-Holland, Amsterdam.
• WW Boone, Roger Lyndon , Frank Cannonito, Word Problems: Decision Problem in Group Theory , North-Holland, 1973.

•   Kurt Gödel: Samlade verk : Oxford University Press: New York. Chefredaktör: Solomon Feferman , Volym IV: Korrespondens, A–G, ISBN 978-0-19-850073-5 .
• O'Connor, John J.; Robertson, Edmund F. , "William Werner Boone" , MacTutor History of Mathematics arkiv , University of St Andrews
• William Werner Boone vid Mathematics Genealogy Project