Martin Davis (* 1928 in New York City) ist einer der bedeutendsten lebenden Logiker und theoretischen Informatiker. == Leben == Davis wurde 1928 als Kind polnischer Immigranten in New York City geboren. Er studierte zunächst Mathematik am City College of New York. Während dieser Zeit wurde seine Entwicklung stark durch Emil Leon Post beeinflusst...