Martin Davis
Martin Davis · Tecnología e ingeniería
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.
1928, Nueva York, Estados Unidos — 2023, Berkeley, California, Estados Unidos
Estados Unidos
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
Esta página se publica en siete idiomas a partir de una fuente en inglés. Las traducciones se revisan, pero puede colarse un error. Si detecta alguno en esta ficha —una palabra equivocada, una fecha perdida, una frase que dice algo que el inglés no dice—, háganoslo saber.
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.
Fuente: Jinfo.org — Jews in Computer Science
Contribuidores similares
Hilary Putnam
Avi Wigderson
Leslie Lamport
Richard Karp
Alfred Tarski
