Американский математик (1920–1983)
Уильям Вернер Бун (16 января 1920 в Цинциннати — 14 сентября 1983 в Урбане, Иллинойс ) — американский математик. Он закончил бакалавриат в качестве студента-заочника в Университете Цинциннати . [1]
Алонзо Чёрч был его научным руководителем по докторской диссертации в Принстоне , а Курт Гёдель был его другом в Институте перспективных исследований .
В 1955 году Пётр Новиков показал, что существует конечно определённая группа G, такая что проблема тождества слов для G неразрешима. [2] Другое доказательство было получено Буном в статье, опубликованной в 1958 году. [3]
Избранные публикации
- WW Boone, Проблемы принятия решений об алгебраических и логических системах в целом и рекурсивно перечислимые степени неразрешимости. 1968 Вклад в мат. логику (коллоквиум, Ганновер, 1966), Северная Голландия, Амстердам.
- WW Бун, Роджер Линдон , Фрэнк Каннонито, Текстовые задачи: проблема принятия решений в теории групп , Северная Голландия, 1973.
Ссылки
- ^ биография Буна
- ^ Новиков, Пётр С. (1955), «Об алгоритмической неразрешимости проблемы тождества слов в теории групп», Труды Математического института им. В.А. Стеклова, 44 : 1–143, Zbl 0068.01301
- ^ Бун, Уильям У. (1958), «Проблема со словами» (PDF) , Труды Национальной академии наук , 44 (10): 1061–1065, Bibcode : 1958PNAS...44.1061B, doi : 10.1073/pnas.44.10.1061 , PMC 528693 , PMID 16590307, Zbl 0086.24701
