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

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

Уильям Вернер Бун (16 января 1920, Цинциннати — 14 сентября 1983, Урбана, Иллинойс ) — американский математик. Он получил степень бакалавра в качестве студента-заочника в Университете Цинциннати .

Алонсо Чёрч был его доктором философии. советником в Принстоне , а Курт Гёдель был его другом в Институте перспективных исследований .

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

Избранные публикации

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

Ссылки

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