Paul Cohen
Paul Cohen · Nauka i medycyna
Cohen wynalazł metodę forsingu, dowodząc w 1963 roku, że hipoteza continuum i pewnik wyboru są niezależne od standardowych aksjomatów teorii mnogości.
1934, Long Branch, New Jersey, USA — 2007, Stanford, California, USA
United States (New Jersey · Stanford, California)
Cohen wynalazł metodę forsingu, dowodząc w 1963 roku, że hipoteza continuum i pewnik wyboru są niezależne od standardowych aksjomatów teorii mnogości. Urodzony w Long Branch w stanie New Jersey w rodzinie żydowskich imigrantów, zdobył w 1966 roku Medal Fieldsa — jedyny w dziejach przyznany za pracę z logiki matematycznej. Forsing pozostaje główną techniką współczesnej teorii mnogości.
Sprawdź i pogłęb temat dzięki tym zewnętrznym odniesieniom.
Źródło: Jinfo.org — Jews in Mathematics
Ta strona ukazuje się w siedmiu językach na podstawie źródła angielskiego. Tłumaczenia są sprawdzane, ale błąd może się prześlizgnąć. Jeśli zauważysz go na tej stronie — błędne słowo, zgubioną datę, zdanie mówiące coś, czego nie ma w angielskim — daj nam znać.
Cohen wynalazł metodę forsingu, dowodząc w 1963 roku, że hipoteza continuum i pewnik wyboru są niezależne od standardowych aksjomatów teorii mnogości.
Źródło: Jinfo.org — Jews in Mathematics
Podobni twórcy
Alan Baker
Alexander Grothendieck
Charles Fefferman
Edward Witten
Efim Zelmanov
