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.

   • Awards: Chauvenet Prize (1975)

   • Doctoral advisor: Alonzo Church

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

   de.wikipedia.org › wiki › Martin_Davis

   • Im Cache

   Martin Davis (* 8. März [1] 1928 in New York City; † 1. Januar 2023) war ein US-amerikanischer Logiker und theoretischer Informatiker . Inhaltsverzeichnis. 1 Leben. 2 Leistungen. 3 Ehrungen. 4 Publikationen. 5 Weblinks. 6 Einzelnachweise. Leben. Davis wurde 1928 als Kind polnischer Immigranten in der Bronx [2] ( New York City) geboren.

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 · 8 March 1928. New York City, New York, USA. Died. 1 January 2023. Berkeley, California, USA. Summary. 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.

5. link.springer.com › book › 10Martin Davis on Computability, Computational Logic, and...

   link.springer.com › book › 10

   • Im Cache

   About this book. This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability. The individual contributions touch on most of the core aspects of Davis’ work and set it in a contemporary context.

6. Videos

   • 9:15

     youtube.com

     Martin Davis - He Was Born to Dribble

     4. Mai 2022

     9.5K Aufrufe

   • 0:33

     youtube.com

     Martin Davis Goal - August 28, 2016

     28. Aug. 2016

     4.1K Aufrufe

   • 4:25

     youtube.com

     British comedian, Martin Davis pops in LIVE!

     9. Nov. 2016

     1.2K Aufrufe

   Alle anzeigen

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

   logicprogramming.org › 2023 › 01

   • Im Cache

   2. Jan. 2023 · Martin David Davis, born in the Bronx on March 8, 1928, emeritus professor at the New York University since 1996, an eminent logician and one of the boosters of the computability field, died on January 1, 2023 — a few hours later, also his wife Virginia passed away.

8. cims.nyu.edu › dynamic › newsNYU Courant Mourns the Loss of Professor Martin Davis

   cims.nyu.edu › dynamic › news

   • Im Cache

   NYU Courant Mourns the Loss of Professor Martin Davis. Martin Davis passed away on January 1, 2023 at the age of ninety-four. Professor Davis was a faculty member at Courant from 1965 until his retirement in 1996. He was instrumental in the founding of our Computer Science department in 1969, serving as a charter member.

9. 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 Hilbert problem, and graduated.