Martin Davis may refer to: Martin Davis (Australian footballer) (born 1936), Australian rules footballer Martin Davis (Jamaican footballer) (born 1996)...

– April 20, 2011), sometimes credited as Madelyn Pugh Davis, Madelyn Davis, or Madelyn Martin, was a television writer who became known in the 1950s...

Martin David Davis (March 8, 1928 – January 1, 2023) was an American mathematician and computer scientist who contributed to the fields of computability...

Davis Alan Martin (born January 4, 1997) is an American professional baseball pitcher for the Chicago White Sox of Major League Baseball (MLB). He made...

and Lauren Bacall. In the 1960s, the group featured Sinatra, Dean Martin, Sammy Davis Jr., Joey Bishop, and (before falling out with Sinatra in 1962) Peter...

Martin "Marty" Davis (born November 15, 1958) is a former professional tennis player from the United States. During his career, Davis won four singles...

It was introduced in 1961 by Martin Davis, George Logemann and Donald W. Loveland and is a refinement of the earlier Davis–Putnam algorithm, which is a...

Martin Jay Davis (September 7, 1937 – January 10, 2022) was an American astrologer and author specializing in locational astrology, as well as a member...

machine to a simpler form (a precursor to the Post–Turing machine of Martin Davis); simultaneously European researchers were reducing the new-fangled electronic...

starting on p. 1097, with Hawking's commentary starting on p. 1089. Martin Davis editor, 1965. The Undecidable: Basic Papers on Undecidable Propositions...