Syntymä |
2. huhtikuuta 1934 Pitkä haara ( New Jersey ) |
---|---|
Kuolema |
23. maaliskuuta 2007 Stanford ( Kalifornia ) |
Kansalaisuus | amerikkalainen |
Alueet | Matematiikka |
Laitokset | Stanfordin yliopisto |
Koulutus |
Stuyvesantin lukion Brooklyn College University of Chicago |
Valvoja | Antoni zygmund |
Tohtorikoulutettavat | Peter Sarnak |
Vaikuttanut | Georg Cantor , Kurt Gödel |
Tunnettu |
Jatkuvan hypoteesin pakottaminen Cohen-Hewitt-factoring-lause ( fr ) |
Palkinnot |
Bôcher-palkinto (1964) Fields-mitali (1966) Kansallinen tiedemitali (1967) |
Paul Joseph Cohen ( 1934 - 2007 ) on amerikkalainen matemaatikko .
Hänet tunnetaan parhaiten osoittaisi 1963 että kontinuumihypoteesi ja valinta-aksiooma olivat riippumattomia aksioomat on Zermelo-Fraenkel- joukko-oppi , työtä, joka toi hänelle Fields Medal vuonna 1966 . Tähän hän käytti alkuperäistä menetelmää, pakottamista , tekniikkaa, jonka hän itse oli keksinyt.
Paul Cohen kehitti matemaattisen menetelmän nimeltään pakottamalla , jota hän käyttää osoittamaan, että kumpikaan kontinuumihypoteesi eikä valinta-aksiooma voidaan osoittaa aksioomat of Zermelo-Fraenkel- joukko-oppi . Gödelin aikaisemman työn yhteydessä tämä osoitti, että nämä kaksi lausumaa ovat loogisesti riippumattomia Zermelo-Fraenkelin aksiomeista: näitä lausuntoja ei voida todistaa eikä mitätöidä näistä aksiomeista. Tässä mielessä kontinuumihypoteesi on ratkeamaton , ja se on tunnetuin esimerkki luonnollisesta ilmoitus, että on riippumaton aksioomat Zermelo-Fraenkel- joukko-oppi.
Tästä jatkuvuushypoteesin tuloksesta Cohen sai Fields-mitalin vuonna 1966 ja kansallisen tiedemitalin vuonna 1967.