Leon Henkin

Leon Henkin
Leon Henkin

Leon Albert Henkin (* 19. April 1921 in Brooklyn; † 1. November 2006) war ein US-amerikanischer Logiker.

Leben und Wirken

Henkin war der Sohn russisch-jüdischer Einwanderer und studierte am Columbia College der Columbia University Mathematik und Philosophie (Master-Abschluss 1942). Im Zweiten Weltkrieg arbeitete er an Radarforschung beim Signal Corps und im Manhattan-Projekt (Isotopentrennung in Oak Ridge). Nach dem Krieg promovierte er 1947 bei Alonzo Church an der Princeton University (The completeness of formal systems). Ab 1953 war er an der University of California, Berkeley, wo er Professor wurde. 1961/62 war er am Institute for Advanced Study und 1968/69 am All Souls College in Oxford.

Henkin ist vor allem bekannt für seinen Beweis des Gödelschen Vollständigkeitssatzes der Logik erster Stufe (bewiesen von Kurt Gödel in seiner Dissertation 1929, siehe Satz von Henkin). Er bewies zunächst die Vollständigkeit der Logiken höherer Stufe von Church, wobei er Henkin-Modelle einführte, und erweiterte das dann auf Logiken 1. Stufe.[1] Er entwickelte auch nach ihm benannte Henkin-Semantiken für Logiken 2. Stufe und arbeitete mit Alfred Tarski zusammen (Cylindric Algebras). Er war auch in der Mathematikdidaktik aktiv und in der Förderung von Mathematikstudenten aus Minderheiten.

1954/55 war er Fulbright Fellow und 1961/62 Guggenheim Fellow. 1964 erhielt er den Chauvenet-Preis für Are logic and mathematics identical? und 1991 die Berkeley Citation der Universität. 1990 erhielt er den Gung and Hu Award und 1972 den Lester R. Ford Preis für Mathematical foundations for mathematics.

Zu seinen Doktoranden zählt Carol Karp.

Schriften

  • The Completeness of the First-Order Functional Calculus, Journal of Symbolic Logic 14, 1949, S. 159–166
  • Completeness in the theory of types, Journal of Symbolic Logic 15, 1950, S. 81–91
  • Are logic and mathematics identical?, Science 138, 1962, S. 788–794
  • Mathematical foundations for mathematics, The American Mathematical Monthly 78, 1971, S. 463–487 (bei MathDL: [1])
  • mit James Donald Monk und Alfred Tarski: Cylindric Algebras, North-Holland, Amsterdam 1971 (Teil 1) 1985 (Teil 2), ISBN 0720420431 (Teil 1) ISBN 0444876790 (Teil 2)

Einzelnachweise

  1. ↑ The Completeness of the First-Order Functional Calculus, 1949 und Completeness in the theory of types, 1950
PND: kein individualisierter Datensatz vorhanden (Stand: 9. Juni 2009) | Nicht individualisierter Eintrag zum Namen Leon Henkin im Katalog der DNB

Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Leon Henkin — (19 April 1921–1 November2006) was a logician at the University of California, Berkeley. He was principally known for the Henkin completeness proof : his version of the proof of the semantic completeness of standard systems of first order… …   Wikipedia

  • Henkin — is a Jewish last name and may refer to the following people:*Leon Henkin, logician and mathematician **Henkin quantifier, a concept he pioneered *Dr. William A. Henkin, marriage therapist and promoter of consensual sadomasochism.*Yosef Eliyahu… …   Wikipedia

  • Henkin — ist der Name folgender Personen: Joseph Eliahu Henkin (1891–1973), orthodoxer Rabbiner Leon Henkin (1921–2006), US amerikanischer Logiker Siehe auch: Satz von Henkin, Satz aus der mathematischen Logik …   Deutsch Wikipedia

  • Henkin —   [ henkɪn], Leon, amerikanischer Logiker und Mathematiker, * New York 19. 4. 1921; seit 1958 Professor in Berkeley (Calif.). Von Henkin stammt der heute übliche Beweis für die Vollständigkeit der Prädikatenlogik 1. Stufe. Die von Henkin… …   Universal-Lexikon

  • Satz von Henkin — Der Satz von Henkin, benannt nach Leon Henkin, ist ein Satz aus der mathematischen Logik. Er beschäftigt sich mit der Frage, wann die Terminterpretation zu einer vorgegebenen Menge von Ausdrücken einer Prädikatenlogik erster Stufe ein Modell… …   Deutsch Wikipedia

  • Second-order logic — In logic and mathematics second order logic is an extension of first order logic, which itself is an extension of propositional logic.[1] Second order logic is in turn extended by higher order logic and type theory. First order logic uses only… …   Wikipedia

  • Универсальная алгебра — Не следует путать с универсальной алгеброй  одним из видов структур, изучаемых данным разделом математики. Универсальная алгебра  раздел математики, изучающий общие свойства алгебраических систем, отыскивая общие черты между такими… …   Википедия

  • Alfred Tarski — Infobox scientist name = Alfred Tarski caption = birth date = birth date|1901|01|14 birth place = Warsaw, Poland (under Russian rule at the time) death date = death date|1983|10|26 death place = Berkeley, California fields = Mathematics, logic,… …   Wikipedia

  • mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… …   Universalium

  • Liste de personnes par nombre d'Erdős — Voici une liste non exhaustive de personnes ayant un nombre d Erdős de 0, 1 ou 2. Sommaire 1 #0 2 #1 3 #2 4 Référence …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”