Kultura eta Hizkuntza Politika Saila

Boone, William Werner

Estatubatuar matematikaria (Cincinnati, Ohio, 1920- Urbana, Illinois, 1983). Institutua utzi ondoren lanean hasi zen, baina azkenean matematika ikasketak egin zituen Cincinnatiko Unibertsitatean; 1945ean graduatu zen, eta Princetonen osatu zituen ikasketak. Doktoregoa 1952an bukatu zuen, eta tesia, talde teoriari buruz, Churchen zuzendaritzapean egin zuen. 1950ean, Turingen ideiei jarraituz, emaitza garrantzitsu bat lortu zuen talde teoriaren arloan, eta 1957an taldeen hitz problema ebatzi ezina zela frogatu zuen. Bi urte geroago, Boonek taldeen teoriako beste hainbat erabakimen problema ezin ebatzezkoak direla frogatu zuen. 1958tik aurrera, Illinoisen lan egin zuen, nahiz eta Europara bidaia asko egin: hala, 1972-73 eta 1978-79 ikasturteak Oxforden eman zituen, eta han G. Higmanekin batera aritu zen lanean.