seit 1964 Professor an der Stanford University; bewies 1963/64 mit der von ihm entwickelten metamathematischen Erzwingungsmethode (Forcing) die Unabhängigkeit sowohl des Auswahlaxioms als auch der verallgemeinerten Kontinuumhypothese von den Axiomen der zermelo-fraenkelschen Mengenlehre. Er löste damit das schon seit G. Cantors Aufstellung dieser Hypothese (1884) bestehende Kontinuumproblem. Cohen wurde 1966