Уильям Бун (математик)

Уильям Вернер Бун
Уильям У. Бун и Эйлин Бун в Альтгельд-холле, Университет Иллинойса, 1979
Родился	(1920-01 -16) 16 января 1920 г.. Цинциннати, Огайо
Умер	14 сентября 1983 г. (1983-09-14) (63 года). Урбана, Иллинойс
Гражданство	Американский
Alma mater	Принстонский университет
Известен	.. теоремой Новикова – Буна
Научная карьера
Области	Математика
Учреждения	Университет Иллинойса в Урбана-Шампейн. Институт перспективных исследований
Советник по докторантуре	Алонзо Черч

Уильям Вернер Бун (16 января 1920 г. в Цинциннати - 14 сентября 1983 г. в Урбана, Иллинойс ) был американским математиком. Алонзо Черч был доктором философии. консультант в Принстоне, и Курт Гёдель был его другом в Институте перспективных исследований.

Петр Новиков показал в 1955 году, что существует конечно представленная группа G. так что проблема слов для G неразрешима. Другое доказательство было получено Бун в 1958 году.

• W. W. Boone, Проблемы решения об алгебраических и логических системах в целом и рекурсивно перечислимые степени неразрешимости. 1968 Вклады в математику. Логика (Коллоквиум, Ганновер, 1966), Северная Голландия, Амстердам.
• W. В. Бун, Роджер Линдон, Фрэнк Каннонито, Проблемы со словами: проблема принятия решений в теории групп, Северная Голландия, 1973 г.

• Курт Гёдель: Собрание сочинений: Oxford University Press: Нью-Йорк. Главный редактор: Соломон Феферман, Том IV: Переписка, A – G, ISBN 978-0-19-850073-5.
• O 'Коннор, Джон Дж. ; Робертсон, Эдмунд Ф., «Уильям Вернер Бун», Архив истории математики MacTutor, Университет Сент-Эндрюс.
• Уильям Вернер Бун в проекте Mathematics Genealogy Project