ウィリアム・ブーン（数学者）

ウィリアム・ワーナー・ブーン
ウィリアム W. ブーンとアイリーン ブーン、イリノイ大学アルトゲルド ホールにて、1979 年
生まれる	(1920-01-16)1920年1月16日 オハイオ州シンシナティ
死亡	1983年9月14日(1983-09-14)（63歳） イリノイ州アーバナ
国籍	アメリカ人
母校	プリンストン大学
知られている	ブーン・ヒグマン定理 ブーン・ロジャーズ定理 ノビコフ・ブーン定理
科学者としてのキャリア
フィールド	数学
機関	イリノイ大学アーバナ・シャンペーン 校高等研究所
博士課程の指導教員	アロンゾ教会

ウィリアム・ワーナー・ブーン（1920年1月16日シンシナティ生まれ- 1983年9月14日イリノイ州アーバナ生まれ）はアメリカの数学者。シンシナティ大学でパートタイムの学生として学士号を取得。^[1]

アロンゾ・チャーチはプリンストン大学での彼の博士課程の指導教官であり、クルト・ゲーデルはプリンストン高等研究所での彼の友人であった。

ピョートル・ノビコフは1955年に、有限に提示された群 Gが存在し、 Gの単語問題が決定不可能であることを示した。^[2]ブーンが1958年に発表した論文では、別の証明が得られました。^[3]

• WW ブーン、「代数および論理システム全体に関する決定問題と再帰的に列挙可能な解決不可能度」。1968数学への貢献。論理学 (コロキウム、ハノーバー、1966 年)、北ホラント、アムステルダム。
• WW ブーンとロジャー・リンドン、フランク・キャノニート、「Word Problems: Decision Problem in Group Theory」、ノースホランド、1973 年。

• クルト・ゲーデル：全集：オックスフォード大学出版局：ニューヨーク。編集長：ソロモン・フェファーマン、第4巻：書簡集、A～G、ISBN 978-0-19-850073-5。 
• オコナー、ジョン J.、ロバートソン、エドマンド F.、「ウィリアム・ワーナー・ブーン」、マクチューター数学史アーカイブ、セント・アンドリュース大学
• 数学系譜プロジェクトのウィリアム・ワーナー・ブーン