Leon Henkin
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Death | 19 years ago |
| Date of birth | April 19,1921 |
| Zodiac sign | Aries |
| Born | Brooklyn |
| New York City | |
| New York | |
| United States | |
| Date of died | November 1,2006 |
| Died | Oakland |
| California | |
| United States | |
| Academic advisor | Alonzo Church |
| Job | Logician |
| Books | Cylindric Algebras |
| Retracing elementary mathematics | |
| Logical Systems Containing Only a Finite Number of Symbols | |
| Mathematics: Report of the Project 2061 Phase I Mathematics Panel | |
| Awards | Chauvenet Prize |
| Guggenheim Fellowship for Natural Sciences, US & Canada | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 554167 |
Leon Henkin Life story
Leon Albert Henkin 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.
