ヒラリー・パトナム
ヒルベルトの第10問題は多変数整数係数代数方程式（ディオファントス方程式）が整数解を持つか否かを決定するアルゴリズムの存在を問うものである。部分的な解答はジュリア・ロビンソン、マーティン・デイビス、ヒラリー・パトナムらによって与えられた。この問題のアルゴリズム的非可解性はユーリ・マチャセヴィッチによって1970年に証明された（Davis 1973）。