https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Leon_HenkinLeon Henkin - Versionsgeschichte2026-06-07T06:41:49ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=Leon_Henkin&diff=1670478&oldid=previmported>Slartibartfass: wikilink2018-12-19T15:52:24Z<p>wikilink</p>
<p><b>Neue Seite</b></p><div>[[Datei:Henkin leon berkeley 1990.jpg|thumb|Leon Henkin, Berkeley 1990]]<br />
'''Leon Albert Henkin''' (* [[19. April]] [[1921]] in [[Brooklyn]]; † [[1. November]] [[2006]] in [[Oakland]]) war ein US-amerikanischer [[Logik]]er.<br />
<br />
== Leben ==<br />
<br />
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 [[US Army 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]].<br />
<br />
Henkin ist vor allem bekannt für seinen Beweis des [[Gödelscher Vollständigkeitssatz|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 [[Logik höherer Stufe|Logiken höherer Stufe]] von Church, wobei er Henkin-Modelle einführte, und erweiterte das dann auf Logiken 1. Stufe.<ref>''The Completeness of the First-Order Functional Calculus'', 1949 und ''Completeness in the theory of types'', 1950</ref> 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.<br />
<br />
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 Randolph Ford Award|Lester R. Ford Preis]] für ''Mathematical foundations for mathematics''.<br />
<br />
Zu Henkins Doktoranden zählt [[Carol Karp]].<br />
<br />
== Schriften ==<br />
<br />
* ''The Completeness of the First-Order Functional Calculus'', Journal of Symbolic Logic 14, 1949, S. 159–166<br />
* ''Completeness in the theory of types'', Journal of Symbolic Logic 15, 1950, S. 81–91<br />
* ''Are logic and mathematics identical?'', Science 138, 1962, S. 788–794<br />
* ''Mathematical foundations for mathematics'', The American Mathematical Monthly 78, 1971, S. 463–487 (bei MathDL: [http://mathdl.maa.org/mathDL/22/?pa=content&sa=viewDocument&nodeId=2997])<br />
* 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)<br />
<br />
== Einzelnachweise ==<br />
<references /><br />
<br />
{{Normdaten|TYP=p|GND=174096046|LCCN=n/81/139033|VIAF=76438407}}<br />
<br />
{{SORTIERUNG:Henkin, Leon}}<br />
[[Kategorie:Logiker]]<br />
[[Kategorie:Hochschullehrer (University of California, Berkeley)]]<br />
[[Kategorie:Hochschullehrer (University of Oxford)]]<br />
[[Kategorie:Person (Manhattan-Projekt)]]<br />
[[Kategorie:Chauvenet-Preisträger]]<br />
[[Kategorie:US-Amerikaner]]<br />
[[Kategorie:Geboren 1921]]<br />
[[Kategorie:Gestorben 2006]]<br />
[[Kategorie:Mann]]<br />
<br />
{{Personendaten<br />
|NAME=Henkin, Leon<br />
|ALTERNATIVNAMEN=Henkin, Leon Albert<br />
|KURZBESCHREIBUNG=US-amerikanischer Logiker<br />
|GEBURTSDATUM=19. April 1921<br />
|GEBURTSORT=[[Brooklyn]]<br />
|STERBEDATUM=1. November 2006<br />
|STERBEORT=[[Oakland]]<br />
}}</div>imported>Slartibartfass