Resultado de búsqueda
Martin David Davis (Marzo 8, 1928 – 1 de enero de 2023) fue un matemático americano y científico informático que contribuyó a los campos de la teoría de la computabilidad y la lógica matemática. Su trabajo sobre el décimo problema de Hilbert llevó al teorema MRDP.
Martin Davis (1928-2023) was an American mathematician and computer scientist who worked on computability theory, Hilbert's tenth problem, and Boolean satisfiability. He won several awards, wrote influential books, and was a fellow of the American Mathematical Society.
1 de ene. de 2023 · Martin Davis was an American mathematician who worked on Hilbert's tenth problem and the theory of computability. He wrote a book on the subject and introduced the Davis normal form for Diophantine equations.
2 de ene. de 2023 · A tribute to Martin Davis, a pioneer of computability theory and automated reasoning, who passed away in 2023. Learn about his contributions to Hilbert's tenth problem, universal Turing machines, satisfiability algorithms, and more.
A book of historical recollections on the work and vision of Martin Davis, an eminent logician and pioneer of computability theory. It covers topics such as Hilbert's tenth problem, quantum computing, essential unification, and pragmatic platonism.
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.
18 de feb. de 2004 · An anthology of fundamental papers on undecidability and unsolvability by major figures in the field , this classic reference is ideally suited as a text for graduate and undergraduate courses in logic, philosophy, and foundations of mathematics. It is also appropriate for self-study.
Anuncio
relacionado con: Martin DavisDevoluciones en un plazo de 30 días a partir de la entrega para un reembolso total. Envíos gratis con entrega rápida en millones de productos Prime de México y EEUU.
