Shmuel Safra
Shmuel Safra · Technologia i inżynieria
Safra jest współautorem twierdzenia PCP, przełomowego wyniku pokazującego, że dowody można weryfikować, odczytując zaledwie kilka losowych bitów, co ma głębokie następstwa dla trudności aproksymacji.
1960, Jerusalem, Israel
Israel (Tel Aviv University)
Safra jest współautorem twierdzenia PCP, przełomowego wyniku pokazującego, że dowody można weryfikować, odczytując zaledwie kilka losowych bitów, co ma głębokie następstwa dla trudności aproksymacji. Urodzony w Jerozolimie, jest profesorem Uniwersytetu Telawiwskiego i dzielił w 2001 roku Nagrodę Gödla. Jego prace stanowią kamień węgielny teorii złożoności obliczeniowej.
Sprawdź i pogłęb temat dzięki tym zewnętrznym odniesieniom.
Źródło: Jinfo.org — Jewish recipients of the Gödel Prize
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ć.
Safra jest współautorem twierdzenia PCP, przełomowego wyniku pokazującego, że dowody można weryfikować, odczytując zaledwie kilka losowych bitów, co ma głębokie następstwa dla trudności aproksymacji.
Źródło: Jinfo.org — Jewish recipients of the Gödel Prize