William Boone (matemático) - William Boone (mathematician)
William Werner Boone | |
|---|---|
 William W. Boone e Eileen Boone em Altgeld Hall, Universidade de Illinois, 1979
| |
| Nascer |
16 de janeiro de 1920 |
| Faleceu | 14 de setembro de 1983 (63 anos) |
| Nacionalidade | americano |
| Alma mater | Universidade de Princeton |
| Conhecido por |
Teorema de Boone-Higman Teorema de Boone-Rogers Teorema de Novikov-Boone |
| Carreira científica | |
| Campos | Matemática |
| Instituições |
Instituto de Estudos Avançados da Universidade de Illinois em Urbana – Champaign |
| Orientador de doutorado | Igreja Alonzo |
William Werner Boone (16 de janeiro de 1920 em Cincinnati - 14 de setembro de 1983 em Urbana, Illinois ) foi um matemático americano. Ele concluiu seu curso de graduação como aluno em tempo parcial na Universidade de Cincinnati .
Alonzo Church foi seu Ph.D. conselheiro em Princeton , e Kurt Gödel era seu amigo no Institute for Advanced Study .
Pyotr Novikov mostrou em 1955 que existe um grupo G finitamente apresentado , de forma que a palavra problema para G é indecidível. Uma prova diferente foi obtida por Boone em 1958.
Publicações selecionadas
- WW Boone, Problemas de decisão sobre sistemas algébricos e lógicos como um todo e graus recursivamente enumeráveis de insolvência. Contribuições de 1968 para a matemática. Logic (Colloquium, Hannover, 1966), North-Holland, Amsterdam.
- WW Boone, Roger Lyndon , Frank Cannonito, Word Problems: Decision Problem in Group Theory , North-Holland, 1973.
Referências
- Kurt Gödel: Trabalhos coletados : Oxford University Press: New York. Editor-chefe: Solomon Feferman , Volume IV: Correspondence, A – G, ISBN 978-0-19-850073-5 .
- O'Connor, John J .; Robertson, Edmund F. , "William Werner Boone" , arquivo MacTutor History of Mathematics , University of St Andrews
- William Werner Boone no Projeto de Genealogia da Matemática