Yahoo Suche Web Suche

Suchergebnisse

1. Suchergebnisse:

1. en.wikipedia.org › wiki › Leon_HenkinLeon Henkin - Wikipedia

   en.wikipedia.org › wiki › Leon_Henkin

   • Im Cache

   Leon Albert Henkin (April 19, 1921, Brooklyn, New York - November 1, 2006, Oakland, California) was an American logician, whose works played a strong role in the development of logic, particularly in the theory of types.

2. Bilder

   • 
   • 
   • 
   • 
   • 

   Alle anzeigen

3. de.wikipedia.org › wiki › Leon_HenkinLeon Henkin – Wikipedia

   de.wikipedia.org › wiki › Leon_Henkin

   • Im Cache

   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

4. link.springer.com › chapter › 10Leon Henkin | SpringerLink

   link.springer.com › chapter › 10

   • Im Cache

   Leon Henkin was born in 1921 in Brooklyn, New York, in the heart of a Jewish family that originally came from Russia. He died at the beginning of November in 2006. He was an extraordinary logician, an excellent teacher, a dedicated professor, and an exceptional person overall.

5. Videos

   • sfgate.com

     Leon A. Henkin -- Cal math educator

     20. Nov. 2006

   • 36:02

     youtube.com

     María Manzano (Universidad de Salamanca): “Alonzo Church y Leon Henkin”

     21. Feb. 2020

     1K Aufrufe

   • 0:22

     youtube.com

     Pub de reviens Léon

     15. Feb. 2011

     689.2K Aufrufe

   Alle anzeigen

6. link.springer.com › book › 10The Life and Work of Leon Henkin - Springer

   link.springer.com › book › 10

   • Im Cache

   This is a comprehensive book on the life and works of Leon Henkin (1921–2006), an extraordinary scientist and excellent teacher whose writings became influential right from the beginning of his career with his doctoral thesis on “The completeness of formal systems” under the direction of Alonzo Church. Upon the invitation of Alfred Tarski ...

7. math.berkeley.edu › past-senate-faculty › leon-henkinLeon A. Henkin | Department of Mathematics

   math.berkeley.edu › past-senate-faculty › leon-henkin

   • Im Cache

   JOB TITLE: Professor Emeritus. UC In Memoriam bibliography. RESEARCH AREA: Mathematical Logic. RESEARCH INTERESTS: Geometry, Partial differential equations, Physics. SELECTED PUBLICATIONS: Leon Henkin. The discovery of my completeness proofs. Bull. Symbolic Logic, 2 (2):127-158, 1996.

8. link.springer.com › article › 10Visions of Henkin | Synthese - Springer

   link.springer.com › article › 10

   • Im Cache

   8. Jan. 2014 · Leon Henkin (1921–2006) was not only an extraordinary logician, but also an excellent teacher, a dedicated professor and an exceptional person. The first two sections of this paper are biographical, discussing both his personal and academic life. In the last section we present three aspects of Henkin’s work.

9. senate.universityofcalifornia.edu › leonalberthenkinLeon Albert Henkin - Academic Senate

   senate.universityofcalifornia.edu › leonalberthenkin

   • Im Cache

   Leon Albert Henkin, eminent logician, leader in mathematics education, and pioneering and persistent activist in the effort to bring more underrepresented minorities and women into mathematics, died November 1, 2006, after a brief illness.