Уильям Вернер Бун (16 января 1920 г. в Цинциннати - 14 сентября 1983 г. в Урбане, штат Иллинойс ) был американским математиком. Алонзо Черч был его доктором философии. советником в Принстоне , а Курт Гёдель был его другом в Институте перспективных исследований .
Уильям Вернер Бун | |
---|---|
Родившийся | |
Умер | 14 сентября 1983 г. | (63 года)
Национальность | Американец |
Альма-матер | Университет Принстона |
Известен | Теорема Буна – Хигмана Теорема Буна – Роджерса Теорема Новикова – Буна |
Научная карьера | |
Поля | Математика |
Учреждения | Университет Иллинойса в Институте перспективных исследований Урбана-Шампейн |
Докторант | Церковь Алонсо |
Петр Новиков показал в 1955 г., что существует конечно определенная группа G такая, что проблема слов для G неразрешима. [1] Другое доказательство было получено Бун в 1958 г. [2]
Избранные публикации
- В. В. Бун, Проблемы решения алгебраических и логических систем в целом и рекурсивно перечислимые степени неразрешимости. 1968 Вклады в математику. Логика (Коллоквиум, Ганновер, 1966), Северная Голландия, Амстердам.
- У. В. Бун, Роджер Линдон , Фрэнк Каннонито, Проблемы со словами : проблема принятия решения в теории групп , Северная Голландия, 1973.
Рекомендации
- ^ Новиков, Петр С. (1955), "Об алгоритмической неразрешимости проблемы слов в теории групп", Труды Математического института им. В. А. Стеклова , 44 : 1–143, Zbl 0068.01301
- ^ Boone, William W. (1958), "Слово проблема" (PDF) , Труды Национальной академии наук , 44 (10): 1061-1065, Bibcode : 1958PNAS ... 44.1061B , DOI : 10.1073 / PNAS. 44.10.1061 , PMC 528693 , PMID 16590307 , Zbl 0086.24701
- Курт Гёдель: Собрание сочинений : Издательство Оксфордского университета: Нью-Йорк. Главный редактор: Соломон Феферман , Том IV: Переписка, A – G, ISBN 978-0-19-850073-5 .
- О'Коннор, Джон Дж .; Робертсон, Эдмунд Ф. , "Уильям Вернер Бун" , архив истории математики MacTutor , Университет Сент-Эндрюс
- Уильям Вернер Бун в проекте « Математическая генеалогия»