Yahoo Suche Web Suche

Suchergebnisse

1. Suchergebnisse:

1. en.wikipedia.org › wiki › Martin_Davis_(mathematician)Martin Davis (mathematician) - Wikipedia

   en.wikipedia.org › wiki › Martin_Davis_(mathematician)

   • Im Cache

   Martin David Davis (March 8, 1928 – January 1, 2023) was an American mathematician and computer scientist who contributed to the fields of computability theory and mathematical logic. His work on Hilbert's tenth problem led to the MRDP theorem.

2. de.wikipedia.org › wiki › Martin_DavisMartin Davis – Wikipedia

   de.wikipedia.org › wiki › Martin_Davis

   • Im Cache

   Martin Davis (* 8. März 1928 in New York City; † 1. Januar 2023) war ein US-amerikanischer Logiker und theoretischer Informatiker.

3. Bilder

   • 
   • 
   • 
   • 

   Alle anzeigen

4. mathshistory.st-andrews.ac.uk › Biographies › DavisMartin Davis (1928 - 2023) - Biography - MacTutor History of ...

   mathshistory.st-andrews.ac.uk › Biographies › Davis

   • Im Cache

   1. Jan. 2023 · Martin Davis was an American mathematician, known for his work on Hilbert's tenth problem. View three larger pictures. Biography. Martin Davis's parents, Helen Gotlieb and Harry Davis, were brought up in Łódź, Poland. Both were Jewish and had known each other in Łódź before emigrating to the United States. Martin Davis wrote [1]:-

5. logicprogramming.org › 2023 › 01In memoriam: Martin Davis – Association for Logic Programming

   logicprogramming.org › 2023 › 01

   • Im Cache

   2. Jan. 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.

6. cs.nyu.edu › pipermail › fomMartin Davis memoriam - New York University

   cs.nyu.edu › pipermail › fom

   • Im Cache

   Martin Davis (March 8, 1928-January 1, 2023) and her beloved wife Virginia passed away yesterday. They had been married for over 71 years.

7. dblp.org › pid › ddblp: Martin D. Davis

   dblp.org › pid › d

   • Im Cache

   Martin Davis: My Life as a Logician. Martin Davis on Computability, Computational Logic, and Mathematical Foundations 2016: 1-33

8. arxiv.org › html › 2401In memory of Martin Davis - arXiv.org

   arxiv.org › html › 2401

   • Im Cache

   15. Jan. 2024 · In 1950, Martin David Davis found the culture in his graduate program at Princeton deeply alienating, and he was ready to be out of there. So he solved an open problem of Kleene (establishing the backbone for a major branch of modern computability theory), wrote down his initial steps toward the eventually successful solution of a ...