February 01, 2007

Leon Henkin 1921-2006

Leon Henkin, best known for his proof of the completeness of first order logic, died of natural causes in his home on November 1. Since the 60s Professor Henkin spearheaded various programs for the representation of women and other under-represented minorities in mathematics. He was professor emeritus in the math department at UC-Berkeley when he died. Here's an obituary.

1 comment:

Bryan Frances said...

The philosophy department at the University of Minnesota has a movie on mathematical induction starring Leon Henkin. I saw it a couple times when I was in graduate school there. He did a good job at explanation!

I can't remember if he got the "best actor" Oscar that year.