Leon Henkin
Leon Albert Henkin (19 April 1921, Brooklyn – 1 November 2006, Oakland, California) was a logician at the University of California, Berkeley. He was principally known for the "Henkin's completeness proof": his version of the proof of the semantic completeness of standard systems of first-order logic.
Read more about Leon Henkin: The Completeness Proof, Early Life, Academic Career, Awards Received
Famous quotes containing the word leon:
“Can’t get Indiana off my mind, that’s the place I long to see.”
—Robert De Leon (1904–1961)
Related Phrases
Related Words