Leon Henkin

Da Wikipedia.
Drapò piemontèis.png Vos an lenga piemontèisa
Për amprende a dovré 'l sistema dle parlà locaj ch'a varda sì


Matemàtich.
Leon Albert Henkin a l'era nassù ij 19 d'avril dël 1921 a Brooklyn. A l'ha arseivù ël B.A. an matemàtica e filosofìa a la Columbia University ant ël 1941 e ël dotorà an matemàtica a Princeton, sota la guida d'Alonzo Church, dël 1947. Dal 1942 al 1946 a l'avìa contribuì a l'angagg militar merican, rivand a esse cap dël Separation Performance Group a Oak Ridge.
Apress avèj avù vàire posission académiche a Princeton e a l'Università dla Califòrnia Meridional, dël 1953 a pija na posission a Berkeley, anté che dël 1959 a dventa ël prim pressident dël grop ëd lògica e metodologìa dle siense.
A l'é mòrt ël 1 ëd novèmber dël 2006.

Soe contribussion[modìfica | modifiché la sorgiss]

Henkin a l'é conossù për ij sò travaj an lògica matemàtica; an tra soe contribussion pì amportante, a l'ha dàit na neuva dimostrassion dël teorema ëd completëssa ëd Gödel an dovrand na técnica neuva dventà fondamental an teorìa dij modèj: l'usage dle costant ëd Henkin. Amportant a son ëdcò ij sò travaj an lògica algébrica.

Arconossiment[modìfica | modifiché la sorgiss]

Henkin a l'avìa na fasson dë spieghé fiamenga e për sòn dël 1964 a l'ha vagnà ël premi Chauvenet dla MAA, l'Associassion Matemàtica ëd Mérica. A l'é stàit ëdcò ativ ant ël setor dl'educassion matemàtica e a l'han assignaje ël prim arconossiment Gung-He dla MAA ant ël 1990, con la motivassion che pòca gent an cost'época a l'ha avù n'anfluensa pì granda che Leon Henkin an sla salute dla matemàtica merican-a.

A pòrto sò nòm[modìfica | modifiché la sorgiss]

  • Costant ëd Henkin.

Euvre prinsipaj[modìfica | modifiché la sorgiss]

  • (con J.D. Monk e A. Tarski) Cylindric algebras (doi volum).