Leon Henkin
(1921-2006)
American mathematician
menu
Add to my lists
About
Jump to
Leon Albert Henkin (April 19, 1921, Brooklyn, New York – November 1, 2006, Oakland, California) was a logician at the University of California, Berkeley. He was principally known for "Henkin construction", his version of the proof of the semantic completeness of standard systems of first-order logic.
Key details
edit section
| Born |
19 April 1921
|
| Died |
1 November 2006 (aged 85)
|
| Zodiac | Aries |
| Tags | Add tag |
Family members
Parents
0
Add parent
Siblings
0
Add sibling
Other family members
0
Add family member
Connections
Friends & associates
Add friend/associate
Leon Henkin dating history
0Children
0No records found.
Family
Parents
0
Add parent
Siblings
0
Add sibling
Children
0
Add child
Other family members
0
Add family member
Friends & associates
Add friend/associate
Missing information for Leon Henkin
- missing gender
- missing height
- missing hair color
- missing eye color
- missing ethnicity
- add banner photo
- add photos to gallery
Lists
29
Facts and figures
5
Similar profiles
10
Activity
Top contributors today
Be the first to contribute today
Tags
Featured contributors
Couples by country
USA · UK · Canada · Australia · France · Germany · India · China · South Korea · Japan · Spain · MexicoCouples by decade
1900s · 1910s · 1920s · 1930s · 1940s · 1950s · 1960s · 1970s · 1980s · 1990s · 2000s · 2010s · 2020sADVERTISEMENT
ADVERTISEMENT
