Paul Joseph COHEN - ([{moze zbieznosc nazwisk}]), nie wiem. Generalnie, to facet udowodnil niezaleznosc aksjomatu wyboru i hipotezy continuum od aksjomatow Zermelo-Fraenkela teorii mnogosci. Rozkminiajac, rozstrzygnal słynna hipoteze continuum; obok wielkiego twierdzenia Fermata ? najbardziej chyba znanego zagadnienia matematycznego w historii. Dzieki stworzonej przez siebie nowatorskiej metodzie FORSINGU Paul Cohen rozstrzygnal w 1964 roku te sprawe w sposob nieslychanie sensacyjny - hipoteza continuum jest niezalezna od "zwyklych" aksjomatow matematyki: mozna ja przyjac jako dodatkowy aksjomat lub przyjac jej zaprzeczenie ? i w obu wypadkach nie popadnie sie w sprzecznosc. Metoda forcingu obecnie jest jednym z silniejszych narzedzi w teorii mnogosci i logice. Oznacza to, iz mozliwa jest matematyka z hipoteza continuum i calkiem inna ? bez niej; sytuacja dosc podobna, jak to bylo... ponad stulecie wczesniej z geometria nieEUKLIDESowa.