Мартин Дэвис

Дэвис, американский математик, родившийся в семье еврейских иммигрантов из Польши, выполнил основополагающие работы в теории вычислимости и математической логике. Он был ключевым участником решения десятой проблемы Гильберта, доказав, что никакой алгоритм не может определить, есть ли у произвольного диофантова уравнения целочисленные решения (теорема Дэвиса — Патнэма — Робинсон — Матиясевича). Его алгоритм Дэвиса — Патнэма стал также краеугольным камнем автоматического доказательства теорем и современных SAT-решателей.

Проверьте и углубитесь с помощью этих внешних источников.

Источник: Jinfo.org — Jews in Computer Science