Paul Joseph Cohen

Der US-amerikanischer Logiker und Mathematiker Paul Joseph Cohen (* 2. April 1934 in Long Branch, New Jersey) besuchte bis 1950 die Stuyvesant High School in New York City.

Im Alter von 29 Jahren entwickelte Cohen 1963 ein Verfahren, mit dem sich für wenige und spezielle Sätze feststellen lässt, ob diese entscheidbar sind oder nicht. Cohen fand mit diesem Verfahren die ersten tatsächlich unentscheidbaren Aussagen, deren Existenz Kurt Gödel bewiesen hatte.

Zu den Problemen, von denen Cohen ihre Unentscheidbarkeit auf Grundlage der Zermelo-Fraenkel-Mengenlehre beweisen konnte, gehören die Kontinuumshypothese und das Auswahlaxiom.