| Martin Davis | ||
|---|---|---|
 | ||
| Información personal | ||
| Nombre de nacimiento | Martin David Davis | |
| Nacimiento |
1928 Estados Unidos, Nueva York | |
| Fallecimiento |
1 de enero de 2023 (94 años) Berkeley (California, Estados Unidos) | |
| Sepultura | Cypress Lawn Memorial Park | |
| Nacionalidad | estadounidense | |
| Educación | ||
| Educado en |
| |
| Supervisor doctoral | Alonzo Church | |
| Información profesional | ||
| Ocupación | profesor, matemático | |
| Empleador |
| |
| Obras notables | ||
| Miembro de | ||
| Sitio web | ||
| Distinciones |
| |
Martin Davis, (Nueva York, 1928-1 de enero de 2023)[1] fue un matemático estadounidense conocido por su trabajo relacionado con el décimo problema de Hilbert.
YouTube Encyclopedic
-
1/2Views:7 632816
-
Journey Home - 2017-06-12 - Br. Martin Davis
-
Signposts - Brother Martin Davis
Transcription
Biografía
Obtuvo su PhD en la Universidad de Princeton en 1950 y su tutor fue Alonzo Church. Fue profesor emérito de la Universidad de Nueva York, y coinventor del algoritmo de Davis-Putnam y del algoritmo DPLL.
También fue coautor, junto con Ron Sigal y Elaine J. Weyuker de Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science, un libro de texto sobre la teoría de la computabilidad. También ha escrito el libro La computadora universal, el cual trata la historia de los lógicos,desde Leibniz hasta Turing, cuyo trabajo ha hecho posible la creación de las computadoras. Así mismo es conocido por diseñar las máquinas Post-Turing.
Referencias
- ↑ «Martin David Davis». Harris Funeral Home (en inglés). Berkeley. 2023. Consultado el 4 de enero de 2023.
Enlaces externos
| Control de autoridades |
|
|---|
Datos: Q1239172
Multimedia: Martin Davis / Q1239172
Esta página se editó por última vez el 26 dic 2023 a las 18:28.