Martin Davis

Person archive with linked event snippets and related articles.

Browse People
Accelerometer Albert Einstein Alphonsus Alvan Clark Ambient Light Sensor André Michaux Annalen der Physik Anne Stuart Arianespace Artemis II ASI AsiaSat 3S Atlas-Agena AVUM Baikonur Baikonur Cosmodrome Beatrice Shilling Bitstring Status List v1.0 Boeing BOLT-2 Breeze-M BurstCube C. Gordon Fullerton Cape Canaveral Cape Canaveral Air Force Station Cassini Cerro Pachón César Lattes Columbia Controlled Identifiers v1.0 COSE CRS-30 CSS Lists and Counters Module Level 3 CSS Namespaces Module Level 3 CSS Shapes Module Level 1 CSS Speech Module CSS Writing Modes Level 3 Data Integrity ECDSA Cryptosuites v1.0 Data Integrity EdDSA Cryptosuites v1.0 Delta II Dragon Drew Feustel Dumsat EchoStar XIV Edward C. Kendall Elise Deroche Emory Chaffee ESRO Europe’s Spaceport European Space Research Organisation Expedition 1 Expedition 55 Expedition 56 Falcon 9 Faroe Islands Fregat French Guiana Gemini South Generic Sensor API George A. Olah George Chrystal George K. Batchelor Global Positioning System Goodrich Acheson GPS IIR-11 Gregorio Y. Zara Gyroscope H. Aiken Herbert Kroemer High Energy Solar Spectroscopic Imager Hulusi Behçet Imaging Science Subsystem Ingenuity Input Events Level 2 International Launch Services ISO 14001 ISO 22095-2 ISO 22095-3 ISO 45001 ISO 9001 ISO/TR 8344 Jack R. Lousma James Dewar James Mason Crafts Jan Ernst Matzeliger Johannes Kepler John Elder John Fothergill JOSE Joseph Gall Josephine Cochrane JPL Julius Kahn Karl Ferdinand von Gräfe Karl von Goebel Kennedy Kennedy Space Center L4 Lagrange point Launch Pad 39B Leonardo Libby Riddles Long March-8 Magnetometer Manifest for Web Application Marina Vasilevskaya Mariner G Mars 1 Martin Davis MDIS Mercury MESSENGER Microsoft Mid-Atlantic Regional Spaceport Mir NASA NASA Planetary Data System National Reconnaissance Office NROL-123 Oleg Artemyev Oleg Novitskiy

March 8 in Science History: Discoveries, Scientists and Breakthroughs

March 8, 2026
25. 1928 Martin Davis is born on March 8, 1928. The American mathematician became a pioneer of computability theory, co-developed the Davis–Putnam algorithm, and helped solve Hilbert’s tenth problem through the MRDP theorem.
Related Entities
All names in this article
Alvan Clark André Michaux Beatrice Shilling César Lattes Edward C. Kendall Emory Chaffee George A. Olah George Chrystal George K. Batchelor Gregorio Y. Zara Herbert Kroemer Hulusi Behçet James Mason Crafts Johannes Kepler John Elder John Fothergill Josephine Cochrane Julius Kahn Karl Ferdinand von Gräfe Karl von Goebel Otto Hahn Piotr Lebedev Ralph H. Baer Sir Michael Foster Sir William Stirling Hamilton Yakov Zel’dovich Beijing China Easter Island Japan North America Rome Russia United Kingdom United States Cambridge’s Physiology Department Harmonices Mundi Halley’s Comet Io Jupiter Moon Sirius B Sun Nuclear Fission Compact Disc Dishwasher Kerosene Lamp Magnavox Odyssey Videophone Friedel–Crafts Reaction Neutrino Mixing Angle Theta-13 Sunyaev–Zeldovich Effect Third Law of Planetary Motion Daya Bay Reactor Neutrino Experiment International Space Station Space Shuttle Discovery STS-102 Voyager 1