William Boone
| Bill Boone amb la seva esposa el 1979 a la universitat d'Illinois. |
|
|
Naixement | (en) William Werner Boone 16 gener 1920 Cincinnati (Ohio) |
---|
Mort | 14 setembre 1983 (63 anys) Urbana (Illinois) |
---|
Causa de mort | causes naturals |
---|
Sepultura | Cementiri Catòlic de Santa Maria, Sec. 8, Lot 196, Num. 5 39° 10′ 00″ N, 84° 29′ 27″ O / 39.16668°N,84.490767°O / 39.16668; -84.490767 |
---|
Formació | Universitat de Princeton - doctor (1945–1952) Universitat de Cincinnati (–1945) |
---|
Tesi acadèmica | Several Simple, Unsolvable Problems of Group Theory Related to the Word Problem (1952 ) |
---|
Director de tesi | Alonzo Church |
---|
|
Camp de treball | Lògica matemàtica |
---|
Ocupació | matemàtic, filòsof |
---|
Ocupador | Universitat d'Illinois a Urbana-Champaign (1958–1983) Institut d'Estudis Avançats de Princeton (1954–1956) Universitat Catòlica d'Amèrica (1950–1954) Universitat Rutgers (1949–1950) Universitat de Princeton (1945–1949) |
---|
|
Obres destacables |
Estudiant doctoral | Eugene Madison, Ann Yasuhara, Wilson Singletary, Brian Mayoh, Charles F. Miller, III, Dean McCullough, Donald Pelletier, George Sacerdote, Vardeman Moore i Jody Lockhart |
---|
|
Cònjuge | Eileen Georgeanna Herweh |
---|
Pares | William Edward Boone i Mazie Charlotte Werner |
---|
|
|
|
|
William Boone (Cincinnati, 16 de gener de 1920 - Urbana, 14 de setembre de 1983), conegut simplement com Bill Boone, va ser un matemàtic estatunidenc.
Boone procedia d'una família humil i, després de ser escolaritzat a varies escoles catòliques de Cincinnati, va fer els estudis universitaris a la universitat de Cincinnati, a temps parcial, graduant-se el 1945. Aquest mateix any va començar estudis de postgrau a la universitat de Princeton en la qual va obtenir el doctorat el 1952, mentre feia de professor ajudant a les universitats de Princeton, Rutgers i Universitat Catòlica d'Amèrica, successivament. Per la seva recerca, sota la influència d'Alonzo Church i d'Emil Post, es va decantar per la lògica matemàtica i, més concretament, pels problemes de decisió.
El 1958, després de visitar nombroses universitats europees, va ser nomenat professor de la universitat d'Illinois a Urbana, en la qual va fer la resta de la seva carrera acadèmica fins a la seva mort el 1983.
Boone és recordat per les seves aportacions a l'àrea frontera entre la lògica i l'àlgebra i, sobre tot, per haver construït un grup finit en el qual és indecidible el problema de la paraula i per la demostració del teorema de Novikov-Boone.
- Appel, Kenneth; Higman, Graham; Jockusch, Carl; Robinson, Derek J.S. «In Memoriam William Werner Boone» (en anglès). Illinois Journal of Mathematics, Vol. 30, Num. 2, 1986, pàg. 197-390. ISSN: 0019-2082.
- Collins, D.J. «William Werner Boone» (en anglès). Bulletin of the London Mathematical Society, Vol. 17, Num. 2, 1985, pàg. 168-174. DOI: 10.1112/blms/17.2.168. ISSN: 0024-6093.
- Lohrey, Markus. The Compressed Word Problem for Groups (en anglès). Springer, 2014. ISBN 978-1-493-90748-9.
- O'Connor, John J.; Robertson, Edmund F. «William Boone» (en anglès). MacTutor History of Mathematics archive. School of Mathematics and Statistics, University of St Andrews, Scotland.