Martin Davis

amerikanischer Logiker

Lebensdaten: 1928

Verknüpfte Einträge

• Tätigkeit: Hochschullehrer – Person, die an einer Hochschule lehrt und forscht
• Geburtsort: New York City (1624) – Metropole an der Ostküste der Vereinigten Staaten
• Tätigkeit: Mathematiker – Person mit weitreichenden mathematischen Kenntnissen
• Mitglied von: American Academy of Arts and Sciences (4. Mai 1780) – US-Akademie für Kunst und Wissenschaften
• Tätigkeit: Informatiker – Berufsbezeichnung
• besuchte Bildungseinrichtung: Princeton University (1746) – Universität in New Jersey
• Arbeitgeber: New York University (1831) – Universität in den Vereinigten Staaten
• Mitglied von: American Mathematical Society (1888) – Vereinigung der Mathematiker in den USA
• Arbeitsgebiet: Zahlentheorie – Teilgebiet der Mathematik
• Promotionsbetreuer: Alonzo Church (14. Juni 1903 – 11. August 1995) – US-amerikanischer Mathematiker und einer der Begründer der theoretischen Informatik
• Auszeichnung: Herbrand-Award (1992)