Martin Davis

דייוויס, מתמטיקאי אמריקני שנולד למהגרים יהודים מפולין, ביצע עבודה יסודית בתורת החישוביות ובלוגיקה מתמטית. הוא היה שותף מרכזי בפתרון הבעיה העשירית של הילברט, בהוכיחו שאין אלגוריתם שיכריע אם למשוואה דיופנטית שרירותית יש פתרונות שלמים (משפט דייוויס–פטנם–רובינסון–מטיאסביץ'). אלגוריתם דייוויס–פטנם שלו נעשה גם אבן פינה בהוכחת משפטים אוטומטית ובפותרני SAT מודרניים.

אמתו והעמיקו בעזרת המקורות החיצוניים האלה.

מקור: Jinfo.org — Jews in Computer Science