Yahoo Search Busca da Web

Resultado da Busca

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

   en.wikipedia.org › wiki › Leon_Henkin

   • Em 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. pt.wikipedia.org › wiki › Leon_HenkinLeon Henkin – Wikipédia, a enciclopédia livre

   pt.wikipedia.org › wiki › Leon_Henkin

   • Em cache

   Leon Henkin (Brooklyn, 19 de abril de 1921 – Oakland, 1 de novembro de 2006) foi um lógico da Universidade de Berkeley. Conhecido principalmente pelo "Teorema da Completude de Henkin": sua versão semântica da demonstração da completude dos sistemas padrão de lógica de primeira ordem.

3. Imagens

   • 
   • 
   • 
   • 
   • 
   • 

   Ver tudo

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

   link.springer.com › book › 10

   • Em 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 ...

5. link.springer.com › chapter › 10Leon Henkin - SpringerLink

   link.springer.com › chapter › 10

   • Em 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...

6. senate.universityofcalifornia.edu › _files › inLeon Albert Henkin

   senate.universityofcalifornia.edu › _files › in

   • Em 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.

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

   link.springer.com › article › 10

   • Em cache

   8 de jan. de 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.

8. www.jstor.org › stable › 24704584Visions of Henkin - JSTOR

   www.jstor.org › stable › 24704584

   Leon Henkin was born in 1921 in New York, in Brooklyn, in the heart of a Jewish family that originally came from Russia. He died at the beginning of November in 2006, as we are told by mutual friends from the same cause as the mathematician Eratosthenes of Cyrene.