William Boone
Bill Boone amb la seva esposa el 1979 a la universitat d'Illinois. ![]() | |
Biografia | |
---|---|
Naixement | (en) William Werner Boone ![]() 16 gener 1920 ![]() Cincinnati (Ohio) ![]() |
Mort | 14 setembre 1983 ![]() 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 ![]() ![]() |
Director de tesi | Alonzo Church ![]() |
Activitat | |
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) ![]() |
Obra | |
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 ![]() |
Família | |
Cònjuge | Eileen Georgeanna Herweh ![]() |
Pares | William Edward Boone i Mazie Charlotte Werner |
Premis
| |
![]() ![]() |
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.
Vida i obra
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.[1] 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 assistent a les universitats de Princeton, Rutgers i Universitat Catòlica d'Amèrica, successivament.[2] Per la seva recerca, sota la influència d'Alonzo Church i d'Emil Post,[1] 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[3] i per la demostració del teorema de Novikov-Boone.[4]
Referències
- ↑ 1,0 1,1 Collins, 1985, p. 168.
- ↑ Collins, 1985, p. 169.
- ↑ Appel et al., 1986, p. i.
- ↑ Lohrey, 2014, p. 32.
Bibliografia
- 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.
Enllaços externs
- 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.