Author: Martin Davis
Born: 1948