| Fødsel |
2. april 1934 Long Branch ( New Jersey ) |
|---|---|
| Død |
23. mars 2007 Stanford ( California ) |
| Nasjonalitet | amerikansk |
| Områder | Matematikk |
| Institusjoner | Universitetet i Stanford |
| Opplæring |
Stuyvesant High School Brooklyn College University of Chicago |
| Veileder | Antoni zygmund |
| PhD studenter | Peter Sarnak |
| Påvirket av | Georg Cantor , Kurt Gödel |
| Kjent for |
Tvinge kontinuerlig hypotese Cohen-Hewitt faktoriseringsteori ( fr ) |
| Utmerkelser |
Bôcher Prize (1964) Fields Medal (1966) National Medal of Science (1967) |
Paul Joseph Cohen ( 1934 - 2007 ) er en amerikansk matematiker .
Han er mest kjent for å demonstrere i 1963 at kontinuumhypotesen og det valgte aksiomet var uavhengig av aksiomene til Zermelo-Fraenkel mengde teori , arbeid som ga ham Fields Medal i 1966 . For dette brukte han en original metode, tvang , en teknikk han selv hadde oppfunnet.
Paul Cohen utviklet den matematiske metoden som kalles forcing , som han brukte for å demonstrere at verken kontinuumhypotesen eller det valgte aksiomet kan bevises fra aksiomene til Zermelo-Fraenkel mengde teori . I forbindelse med tidligere arbeider fra Gödel , viste dette at disse to utsagnene er logisk uavhengige av Zermelo-Fraenkel-aksiomene: Disse uttalelsene kan verken bevises eller ugyldiggjøres fra disse aksiomene. I denne forstand er kontinuumhypotesen ubestemmelig , og det er det mest kjente eksemplet på en naturlig påstand som er uavhengig av aksiomene til Zermelo-Fraenkel mengde teori.
For dette resultatet på kontinuumhypotesen mottok Cohen Fields-medaljen i 1966, samt National Medal of Science i 1967.