アメリカ合衆国（カリフォルニア州）
伝記
アメリカの数学者、計算機科学者。計算可能性理論と数理論理学に貢献し、ヒルベルトの第10問題の研究や、論理式の充足可能性判定の基礎となるアルゴリズムの共同開発で知られる。
同じ年に亡くなった人物
- トリート・ウィリアムズ (2023年没)
- イアン・ハッキング (2023年没)
- オタール・イオセリアーニ (2023年没)
- HEATH (2023年没)
- クリストフ・ツー・シュレースヴィヒ＝ホルシュタイン (2023年没)
同じ地域に関係する人物
- メリンダ・ディロン (2023年没)
- リチャード・P・ファインマン (1988年没)
- フセイン・オン (1990年没)
- ニキ・ド・サンファル (2002年没)
- キング・ムーディ (2001年没)