Cohen
Kiejtés
- IPA: [ ˈt͡soɦɛn]
Főnév
Cohen
- (matematika, matematikus) Paul Cohen egy amerikai matematikus volt, aki a halmazelmélet területén végzett forradalmi munkáiról híres. 1934-ben született Long Branch-ben, New Jersey államban, és 2007-ben hunyt el. Cohen legismertebb eredményei közé tartozik az ún. kontinuum-hipotézis és a választási axióma függetlenségének bizonyítása.
1963-ban Cohen bevezette a **kényszerítés** (forcing) módszerét, amely lehetővé tette számára, hogy bizonyítsa a kontinuum-hipotézis függetlenségét a halmazelmélet standard axiómarendszerétől, vagyis a Zermelo-Fraenkel axiómáktól (ZFC). Ez azt jelenti, hogy sem a kontinuum-hipotézis, sem annak tagadása nem vezethető le a ZFC axiómarendszerből. Cohen munkája megoldott egy évtizedek óta nyitott kérdést, amit Kurt Gödel részben már 1940-ben vizsgált.
1966-ban Cohen megkapta a Fields-érmet ezen jelentős eredményeiért. Munkája mély hatással volt nemcsak a halmazelméletre, hanem a matematikai logikára és a matematika alapjaival foglalkozó területekre is.