Paul Cohen was an American mathematian who used a technique called forcing to prove the independence in set theory of the axiom of choice and of the generalised continuum hypothesis.
Find out more at: https://mathshistory.st-andrews.ac.uk/Biographies/Cohen/