Leon Henkin
Leon Henkin · Technologia i inżynieria
Leon Henkin był amerykańskim logikiem, najbardziej znanym z „dowodu Henkina” twierdzenia o pełności dla logiki pierwszego rzędu — techniki dziś standardowej w logice matematycznej — a także z konstrukcji Henkina i prac nad teorią typów.
1921, Brooklyn, Nowy Jork, USA — 2006, Oakland, Kalifornia, USA
Stany Zjednoczone · Uniwersytet Kalifornijski, Berkeley
Leon Henkin był amerykańskim logikiem, najbardziej znanym z „dowodu Henkina” twierdzenia o pełności dla logiki pierwszego rzędu — techniki dziś standardowej w logice matematycznej — a także z konstrukcji Henkina i prac nad teorią typów. Wykładał na Uniwersytecie Kalifornijskim w Berkeley i zabiegał o edukację matematyczną oraz dostęp do niej. Był Żydem.
Sprawdź i pogłęb temat dzięki tym zewnętrznym odniesieniom.
Źródło: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
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ć.
Leon Henkin był amerykańskim logikiem, najbardziej znanym z „dowodu Henkina” twierdzenia o pełności dla logiki pierwszego rzędu — techniki dziś standardowej w logice matematycznej — a także z konstrukcji Henkina i prac nad teorią typów.
Źródło: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
