Saul A. Kripke

born 1940