William boone

William og Eileen Boone ved University of Illinois i Urbana-Champaign (1979) Biografi

Annen informasjon

Jobbet for	University of Illinois i Urbana-Champaign
Felt	Matematikk
Veileder	Alonzo kirke
Forskjell	Guggenheim-stipend

Hovedbidrag

William Werner Boone (født den16. januar 1920i Cincinnati og døde den14. september 1983i Urbana (Illinois) ) er en amerikansk matematiker.

Karriere

Han oppnådde en BA fra University of Cincinnati i 1945, og begynte deretter å studere ved Princeton University . Han var instruktør ved universitetet, deretter ved Rutgers før han var assisterende professor ved det katolske universitetet i Amerika i Washington i 1950. Han forsvarte sin avhandling i 1952 under veiledning av Alonzo Church ved Princeton University . Han tilbrakte årene 1954-1956 i Princeton på et Fulbright-stipend . Han var en venn av Kurt Gödel ved Institute for Advanced Study . Han reiste deretter til Europa med et Guggenheim-stipend . Fra 1958 jobbet Boone ved University of Illinois i Urbana-Champaign først som lektor, deretter som full professor siden 1960.

Piotr Novikov viste i 1955 at det finnes et fint present gruppe hvor ordet problem er undecidable. Et annet bevis ble innhentet av Boone i 1958.

William W. Boone, "Beslutningsproblemer om algebraiske og logiske systemer som helhet og rekursivt utallige grader av uløsbarhet" , i Bidrag til matematisk logikk (Colloquium, Hannover, 1966) , Nord-Holland,1968( Matematikkanmeldelser 0237617 ) , s. 13-33
William W. Boone, FB Cannonito og Roger C. Lyndon (redaktører), Word Problems: Decision Problem in Group Theory , North-Holland,1973.
William W. Boone og G. Higman, “ En algebraisk karakterisering av ordets problemløsbarhet ”, J. Austral. Matte. Soc. , vol. 18,1974, s. 41-53.
William W. Boone og H. Rogers Jr., “ Om et problem med JHC Whitehead og et problem med Alonzo Church, ” Math. Scand. , vol. 19,1966, s. 185-192.

(in) " William Werner Boone " , på nettstedet til Mathematics Genealogy Project .
Solomon Feferman (sjefredaktør), Kurt Gödel: Collected Works , vol. IV: Korrespondanse, A - G, Oxford Clarendon Press:,2003, xviii + 662 s. ( ISBN 978-0-19-850073-5 , les online ).
(ru) Pyotr S. Novikov , “ On the algorithmic unsolvability of the word problem in group theory ” , Proceedings of the Steklov Institute of Mathematics , vol. 44,1955, s. 1-143 ( zbMATH 0068.01301 ).
William W. Boone , " The word problem, " Proceedings of the National Academy of Sciences , vol. 44, n o 101958, s. 1061–1065 ( PMCID 528693 , DOI 10.1073 / pnas.44.10.1061 , zbMATH 0086.24701 , les online [PDF] )