Martin Davis

Davis, matemático estadounidense hijo de inmigrantes judíos de Polonia, hizo trabajos fundacionales en teoría de la computabilidad y lógica matemática. Fue un contribuyente central a la solución del décimo problema de Hilbert, al probar que ningún algoritmo puede decidir si una ecuación diofántica arbitraria tiene soluciones enteras (teorema Davis–Putnam–Robinson–Matiyasévich). Su algoritmo Davis–Putnam se convirtió además en piedra angular de la demostración automática y de los solucionadores SAT modernos.

Verifique y profundice con estas referencias externas.

Fuente: Jinfo.org — Jews in Computer Science