William boone

Altre informazioni

Lavorato per	Università dell'Illinois a Urbana-Champaign
Campo	Matematica
Supervisore	Chiesa di Alonzo
Distinzione	Borsa di studio Guggenheim

Contributi principali

William Werner Boone (nato il16 gennaio 1920a Cincinnati e morì il14 settembre 1983a Urbana (Illinois) ) è un matematico americano.

carriera

Ha conseguito un BA presso l' Università di Cincinnati nel 1945, quindi ha iniziato gli studi universitari alla Princeton University . È stato docente all'università, poi alla Rutgers prima di essere assistente professore alla Catholic University of America a Washington nel 1950. Ha difeso la sua tesi nel 1952 sotto la supervisione di Alonzo Church alla Princeton University . Ha trascorso gli anni 1954-1956 a Princeton con una borsa di studio Fulbright . Era un amico di Kurt Gödel presso l' Institute for Advanced Study . Ha poi viaggiato in Europa con una borsa di studio Guggenheim . Dal 1958, Boone ha lavorato presso l' Università dell'Illinois a Urbana-Champaign prima come professore associato, poi come professore ordinario dal 1960.

Piotr Novikov ha mostrato nel 1955 l'esistenza di un gruppo finemente presentato per il quale la parola problema è indecidibile. Una prova diversa è stata ottenuta da Boone nel 1958.

William W. Boone, "Problemi decisionali sui sistemi algebrici e logici nel loro insieme e gradi di insolubilità enumerabili ricorsivamente" , in Contributions to Mathematical Logic (Colloquium, Hannover, 1966) , North-Holland,1968( Recensioni di matematica 0237617 ) , p. 13-33
William W. Boone, FB Cannonito e Roger C. Lyndon (a cura di), Word Problems: Decision Problem in Group Theory , North-Holland,1973.
William W. Boone e G. Higman, " Una caratterizzazione algebrica della risolvibilità del problema della parola ", J. Austral. Matematica. Soc. , vol. 18,1974, pag. 41-53.
William W. Boone e H. Rogers Jr., " Su un problema di JHC Whitehead e un problema di Alonzo Church " , Math. Scand. , vol. 19,1966, pag. 185-192.

(in) " William Werner Boone " , sul sito web del Mathematics Genealogy Project .
Solomon Feferman (editore capo), Kurt Gödel: Collected Works , vol. IV: Corrispondenza, A – G, Oxford Clarendon Press :,2003, xviii + 662 p. ( ISBN 978-0-19-850073-5 , leggi online ).
(ru) Pyotr S. Novikov , " Sull'irrisolvibilità algoritmica del problema della parola nella teoria dei gruppi " , Atti dell'Istituto di matematica Steklov , vol. 44,1955, pag. 1-143 ( zbMATH 0.068,01,301 mila ).
William W. Boone , " Il problema della parola " , Atti della National Academy of Sciences , vol. 44, n . 10,1958, pag. 1061–1065 ( PMCID 528693 , DOI 10.1073/pnas.44.10.1061 , zbMATH 0086.24701 , leggi online [PDF] )