Leon Henkin
Mathematician, Author
1921 – 2006
Photo Credit ยป
63 Views
Who was Leon Henkin?
Leon Albert Henkin 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.
We need you!
Help us build the largest biographies collection on the web!
- Born
- Apr 19, 1921
Brooklyn - Also known as
- Leon A. Henkin
- Nationality
- United States of America
- Profession
- Education
- PhD, Princeton University
Mathematics
( - 1947)
- PhD, Princeton University
- Employment
- University of California, Berkeley
- Lived in
- Oakland
( - 2006/11/01)
- Oakland
- Died
- Nov 1, 2006
Oakland
Submitted
on July 23, 2013
Citation
Use the citation below to add to a bibliography:
Style:MLAChicagoAPA
"Leon Henkin." Biographies.net. STANDS4 LLC, 2024. Web. 7 May 2024. <https://www.biographies.net/people/en/leon_henkin>.
Discuss this Leon Henkin biography with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In