Leon Henkin
Leon Henkin · Technology & Engineering
Computer & information scientist
1921, Brooklyn, New York, USA — 2006, Oakland, California, USA
United States · University of California, Berkeley
Leon Henkin is recognized among Jewish contributors to Technology & Engineering — Computer & information scientist
Leon Henkin was an American logician best known for the 'Henkin proof' of the completeness theorem for first-order logic, a technique now standard in mathematical logic, and for the Henkin construction and work on type theory. He taught at UC Berkeley and championed mathematics education and access. He was Jewish.
Verify and go deeper with these external references.
Source: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
Computer & information scientist
Source: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
