William Boone (matematik) - William Boone (mathematician)
William Werner Boone | |
|---|---|
 William W. Boone a Eileen Boone v Altgeld Hall, University of Illinois, 1979 | |
| narozený | 16. ledna 1920 |
| Zemřel | 14. září 1983 (ve věku 63) |
| Národnost | americký |
| Alma mater | Univerzita Princeton |
| Známý jako | Boone – Higmanova věta Boone – Rogersova věta Novikov – Booneova věta |
| Vědecká kariéra | |
| Pole | Matematika |
| Instituce | University of Illinois v Urbana – Champaign Institut pro pokročilé studium |
| Doktorský poradce | Alonzo Church |
William Werner Boone (16. ledna 1920 v Cincinnati - 14. září 1983 v Urbana, Illinois ) byl americký matematik. Alonzo Church byl jeho Ph.D. advisor ve společnosti Princeton, a Kurt Gödel byl jeho přítel v Institut pro pokročilé studium.
Petr Novikov v roce 1955 ukázal, že existuje definitivně prezentovaná skupina G takové, že slovní úloha pro G je nerozhodnutelný.[1] Odlišný důkaz získal Boone v roce 1958.[2]
Vybrané publikace
- W. W. Boone, Rozhodovací problémy o algebraických a logických systémech jako celku a rekurzivně nespočetné stupně neřešitelnosti. 1968 Příspěvky k matematice. Logic (Colloquium, Hannover, 1966), Severní Holandsko, Amsterdam.
- W. W. Boone, Roger Lyndon Frank Cannonito, Slovní úlohy: Problém rozhodování v teorii skupin, Severní Holandsko, 1973.
Reference
- ^ Novikov, Petr S. (1955), „O algoritmické neřešitelnosti slovní úlohy v teorii grup“, Sborník Steklovova matematického ústavu (v Rusku), 44: 1–143, Zbl 0068.01301
- ^ Boone, William W. (1958), „Slovní úloha“ (PDF), Sborník Národní akademie věd, 44 (10): 1061–1065, doi:10.1073 / pnas.44.10.1061, PMC 528693, PMID 16590307, Zbl 0086.24701
- Kurt Gödel: Sebraná díla: Oxford University Press: New York. Šéfredaktor: Solomon Feferman, Svazek IV: Korespondence, A – G, ISBN 978-0-19-850073-5.
- O'Connor, John J.; Robertson, Edmund F., „William Werner Boone“, MacTutor Historie archivu matematiky, University of St Andrews.
- William Werner Boone na Matematický genealogický projekt
