- Leon Henkin
Leon Henkin (
19 April 1921 –1 November 2006 ) was alogician at theUniversity of California, Berkeley . He was principally known for the "Henkin completeness proof ": his version of the proof of the semantic completeness of standard systems offirst-order logic .The completeness proof
Henkin's result was not novel; it had first been proved by
Kurt Gödel in his doctoral dissertation which was completed in 1929. (SeeGödel's completeness theorem . Gödel published a version of the proof in 1930.) Henkin's 1949 proof is much easier to survey than Gödel's and has thus become the standard choice of completeness proof for presentation in introductory classes and texts.The proof is non-constructive (a pure existence proof): while it guarantees that if a sentence α follows (semantically) from a set of sentences Σ, then there "is" a proof of α from Σ, it gives no indication of the nature of that proof.
Henkin originally proved the completeness of Church's
higher-order logic , and then observed that the same methods of proof could be applied to first-order logic.Henkin's proof for higher-order logic uses a variant of the standard semantics.This variant uses general models(also called Henkin models): the higher types need not be interpreted by the full space of functions; a subset of the function space may be used instead.Early life
He was born in
Brooklyn , into a Russian Jewish immigrant family. His first degree was in mathematics and philosophy from Columbia College, in 1941. He took a master's degree there in 1942.He then worked in the
Signal Corps Radar Laboratory ,Belmar, New Jersey . As participant in theManhattan project , he worked onisotope diffusion , in New York, andOak Ridge, Tennessee .Academic career
He was a doctoral student of
Alonzo Church atPrinceton University , receiving his Ph.D. in 1947. He becameProfessor ofMathematics at theUniversity of California, Berkeley , where he had a position from 1953. He received the 1964Chauvenet Prize for exposition. [http://www.maa.org/awards/chauvent.html] He was a collaborator ofAlfred Tarski , and an ally in promoting logic. [Solomon Feferman on Tarski's campaigning [http://math.stanford.edu/~feferman/papers/conceptlogic.pdf] , [http://math.stanford.edu/~feferman/papers/cornell.pdf] explains Henkin's role as recruit and ally.]Henkin was also a social activist who since the 1960s worked to increase higher education opportunities for women and minorities. In 1964 he spearheaded the formation of the Special Scholarships Committee at UC Berkeley, which resulted in setting up Special Opportunity Scholarships and other outreach programs at Berkeley. The Berkeley program served as a model for the federal Upward Bound Program that was founded several years later and for many outreach and special opportunities programs at other U.S. universities. [ [http://www.orovillemr.com/news/bayarea/ci_4714675 UC Berkeley mathematics professor dies.] Oroville Mercury-Register.
November 24 ,2006 ] [ [http://www.berkeley.edu/news/media/releases/2006/11/09_henkin.shtml Leon Henkin, advocate for diversity in math & science, has died.] UC Berkeley News,November 9 ,2006 ] [ [http://pqasb.pqarchiver.com/latimes/access/1163066351.html?dids=1163066351:1163066351&FMT=ABS&FMTS=ABS:FT&date=Nov+16%2C+2006&author=Valerie+J.+Nelson&pub=Los+Angeles+Times&desc=Obituaries%3B+Leon+Henkin%2C+85%3B+professor+steered+minorities+and+women+to+math&pqatl=google Obituaries; Leon Henkin, 85; professor steered minorities and women to math.] .Los Angeles Times ,November 16 ,2006 ]Awards received
*2000 — Leon Henkin Citation — for Distinguished Service, which is presented to a (UC) faculty member for "exceptional commitment to the educational development of students from groups who are underrepresented in the academy."
*1991 — Berkeley Citation - the highest honor/award bestowed by the University of California
*1990 — First recipient of the Gung and Hu Award for Distinguished Service to Mathematics
*1972 —Lester R. Ford Award — for Mathematical foundations for mathematics,American Mathematical Monthly 78 (1971), 463–487.
*1964 — TheChauvenet Prize , Mathematical Association of America award to the author of an outstanding expository article on a mathematical topic by a member of the Association. [ [http://www.jstor.org/pss/2311294 "Award of the 1964 Chauvenet Prize to Professor Leon A. Henkin".] The American Mathematical Monthly, vol. 71 (1964), no. 1, p. 3]ee also
*
Branching quantifier Notes
References
*Henkin, Leon. 1949. "The Completeness of the First-Order Functional Calculus", "Journal of Symbolic Logic". 14: 159–166.
*Henkin, Leon. 1950. "Completeness in the theory of types", "Journal of Symbolic Logic" 15: 81–91.External links
*
* [http://awards.berkeley.edu/berkeleyCitation.cfm Berkeley Citation Award]
* [http://www.princeton.edu/~mudd/finding_aids/mathoral/pmc14.htm An interview with Henkin and others about their experiences at Princeton]
* [http://www.princeton.edu/~mudd/finding_aids/mathoral/pmc19.htm An interview with Henkin about his experience at Princeton]
* [http://www.berkeley.edu/news/media/releases/2006/11/09_henkin.shtml Berkeley press release]
* [http://pqasb.pqarchiver.com/latimes/access/1163066351.html?dids=1163066351:1163066351&FMT=ABS&FMTS=ABS:FT&date=Nov+16%2C+2006&author=Valerie+J.+Nelson&pub=Los+Angeles+Times&desc=Obituaries%3B+Leon+Henkin%2C+85%3B+professor+steered+minorities+and+women+to+math&pqatl=google "LA Times" obituary, November 16, 2006]
Wikimedia Foundation. 2010.