Dzięki stworzonej przez siebie metodzie forsingu Paul Cohen rozstrzygnął w 1964 roku to zagadnienie. Otóż okazało się, że hipoteza continuum jest niezależna od „zwykłych” aksjomatów matematyki: można ją przyjąć jako dodatkowy aksjomat lub przyjąć jej zaprzeczenie – i w obu wypadkach nie popadnie się w sprzeczność. Metoda forsingu obecnie jest jednym z silniejszych narzędzi w teorii mnogości i logice.
Oznacza to, iż możliwa jest matematyka z hipotezą continuum i całkiem inna – bez niej. Jest to sytuacja dość podobna do istniejącej ponad stulecie wcześniej z geometrią nieeuklidesową.
Zobacz też algebra Cohena
Przypisy
Linki zewnętrzne
Kategoria:Amerykańscy matematycy XX wieku Kategoria:Amerykańscy matematycy XXI wieku Kategoria:Amerykańscy logicy Kategoria:Amerykańscy teoretycy mnogości Kategoria:Nauczyciele akademiccy Uniwersytetu Stanforda Kategoria:Pracownicy Institute for Advanced Study w Princeton
Kategoria:Amerykańscy laureaci Medalu Fieldsa Kategoria:Laureaci National Medal of Science
Kategoria:Urodzeni w 1934 Kategoria:Zmarli w 2007