William Boone

William a Eileen Boone na University of Illinois v Urbana-Champaign (1979) Životopis

Jiná informace

Pracoval pro	University of Illinois v Urbana-Champaign
Pole	Matematika
Dozorce	Alonzo Church
Rozdíl	Guggenheimovo stipendium

Hlavní příspěvky

William Werner Boone (narozen dne16. ledna 1920v Cincinnati a zemřel dne14. září 1983v Urbana (Illinois) ) je americký matematik.

Kariéra

V roce 1945 získal titul BA na University of Cincinnati , poté zahájil postgraduální studium na Princetonské univerzitě . V roce 1950 působil jako instruktor na univerzitě, poté na Rutgers, poté byl asistentem na Katolické univerzitě v Americe ve Washingtonu. Svoji diplomovou práci obhájil v roce 1952 pod vedením Alonzo Church na Princetonské univerzitě . Roky 1954-1956 strávil v Princetonu na Fulbrightově stipendiu . Byl přítelem Kurta Gödela na Institutu pro pokročilé studium . Poté cestoval do Evropy s Guggenheimovým stipendiem . Od roku 1958 pracoval Boone na University of Illinois v Urbana-Champaign nejprve jako docent, poté jako řádný profesor od roku 1960.

Piotr Novikov ukázal v roce 1955 existenci jemně prezentované skupiny, pro kterou je slovní úloha nerozhodná. Odlišný důkaz získal Boone v roce 1958.

William W. Boone, „Problémy s rozhodováním o algebraických a logických systémech jako celku a rekurzivně nespočetné stupně neřešitelnosti“ , v Příspěvky k matematické logice (Colloquium, Hannover, 1966) , Severní Holandsko,1968( Math Reviews 0237617 ) , str. 13-33
William W. Boone, FB Cannonito a Roger C. Lyndon (redaktoři), Slovní úlohy: Rozhodovací problém v teorii skupiny , Severní Holandsko,1973.
William W. Boone a G. Higman, „ Algebraická charakterizace řešitelnosti slovní úlohy “, J. Austral. Matematika. Soc. , sv. 18,1974, str. 41-53.
William W. Boone a H. Rogers Jr., „ K problému JHC Whitehead a problému Alonzo Church, “ Math. Scand. , sv. 19,1966, str. 185-192.

(in) „ William Werner Boone “ , na webových stránkách projektu Mathematics Genealogy Project .
Solomon Feferman (šéfredaktor), Kurt Gödel: Collected Works , roč. IV: Korespondence, A - G, Oxford Clarendon Press:,2003, xviii + 662 str. ( ISBN 978-0-19-850073-5 , číst online ).
(ru) Petr S. Novikov , „ O algoritmické neřešitelnosti slovní úlohy v teorii grup “ , Proceedings of the Steklov Institute of Mathematics , sv. 44,1955, str. 1-143 ( zbMATH 0068.01301 ).
William W. Boone , „ Slovní úloha “, Sborník Národní akademie věd , sv. 44, n o 10,1958, str. 1061–1065 ( PMCID 528693 , DOI 10.1073 / pnas.44.10.1061 , zbMATH 0086.24701 , číst online [PDF] )