martin, davis, nueva, york, 1928, matemático, estadounidense, conocido, trabajo, relacionado, décimo, problema, hilbert, obtuvo, universidad, princeton, 1950, tutor, alonzo, church, profesor, emérito, universidad, nueva, york, coinventor, algoritmo, davis, put. Martin Davis Nueva York 1928 es un matematico estadounidense conocido por su trabajo relacionado con el decimo problema de Hilbert Obtuvo su PhD en la Universidad de Princeton en 1950 y su tutor fue Alonzo Church Es profesor emerito de la Universidad de Nueva York Es coinventor del algoritmo de Davis Putnam y del algoritmo DPLL Tambien es 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 teoria de la computabilidad Tambien ha escrito el libro La computadora universal el cual trata la historia de los logicos desde Leibniz hasta Turing cuyo trabajo ha hecho posible la creacion de las computadoras Asi mismo es conocido por disenar las maquinas Post Turing Martin DavisInformacion personalNombre de nacimientoMartin David DavisNacimiento1928 Estados Unidos Nueva YorkNacionalidadestadounidenseEducacionEducado enUniversidad de PrincetonSupervisor doctoralAlonzo ChurchInformacion profesionalOcupacionprofesor matematicoEmpleadorUniversidad de Nueva YorkMiembro deAmerican Mathematical SocietyAcademia Estadounidense de las Artes y las CienciasDistincionesMiembro de la Academia Estadounidense de las Artes y las CienciasMiembro de la American Mathematical SocietyPremio Leroy Steele 1975 Premio Herbrand 2005 WebSitio webMartin Davis editar datos en Wikidata Enlaces externos EditarAbout Davis and a book by him Math genealogy page Datos Q1239172 Multimedia Martin DavisObtenido de https es wikipedia org w index php title Martin Davis amp oldid 106971772, wikipedia, wiki, leyendo, leer, libro, biblioteca,
