. . . . . . "\u041B\u0435\u043E\u043D \u0410\u043B\u044C\u0431\u0435\u0440\u0442 \u0425\u0435\u043D\u043A\u0438\u043D (\u0442\u0430\u043A\u0436\u0435 \u0432 \u0438\u0441\u0442\u043E\u0447\u043D\u0438\u043A\u0430\u0445 \u0432\u0441\u0442\u0440\u0435\u0447\u0430\u0435\u0442\u0441\u044F \u0432\u0430\u0440\u0438\u0430\u043D\u0442 \u0444\u0430\u043C\u0438\u043B\u0438\u0438 \u0413\u0435\u043D\u043A\u0438\u043D; \u0430\u043D\u0433\u043B. Leon Albert Henkin, 19 \u0430\u043F\u0440\u0435\u043B\u044F 1921 \u2014 1 \u043D\u043E\u044F\u0431\u0440\u044F 2006) \u2014 \u0430\u043C\u0435\u0440\u0438\u043A\u0430\u043D\u0441\u043A\u0438\u0439 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u043A, \u043E\u0434\u0438\u043D \u0438\u0437 \u0432\u0435\u0434\u0443\u0449\u0438\u0445 \u0441\u043F\u0435\u0446\u0438\u0430\u043B\u0438\u0441\u0442\u043E\u0432 XX \u0432\u0435\u043A\u0430 \u0432 \u043E\u0431\u043B\u0430\u0441\u0442\u0438 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u043E\u0439 \u043B\u043E\u0433\u0438\u043A\u0438."@ru . . . . . . . . "Leon Henkin (ur. 19 kwietnia 1929 w dzielnicy Brooklynie, dzielnicy Nowego Jorku, zm. 1 listopada 2006 w Oakland, Kalifornia) - logik, profesor na Uniwersytecie w Berkeley. Znany przede wszystkim jako autor uproszczenia dowodu klasycznego rachunku logicznego. Twierdzenie o pe\u0142no\u015Bci zosta\u0142o udowodnione przez Kurta G\u00F6dla w jego dysertacji doktorskiej z roku 1929, ale dow\u00F3d ten jest do\u015B\u0107 trudny. Dow\u00F3d Henkina jest znacznie prostszy w lekturze i jako taki jest obecnie powszechnie przytaczany w wi\u0119kszo\u015Bci podr\u0119cznik\u00F3w logiki. Podej\u015Bcie Henkina jest niekonstruktywne \u2013 pozwala ono jedynie stwierdzi\u0107, \u017Ce je\u017Celi zdanie \u03B1 wynika semantycznie z pewnego zbioru zda\u0144 \u03A3, to wynika z niego r\u00F3wnie\u017C syntaktycznie (tj. ma dow\u00F3d w oparciu o zbi\u00F3r \u03A3), nie pokazuje jednak w jaki spos\u00F3b. W p\u00F3\u017Aniejszym okresie Henkin uog\u00F3lni\u0142 sw\u00F3j wynik na wersj\u0119 Churcha. Rezultat ten oparty jest na specjalnej teorii modeli, tak zwanych modeli Henkinowskich."@pl . . . . . . . "Leon Henkin (Brooklyn, 19 de abril de 1921 \u2013 Oakland, 1 de novembro de 2006) foi um l\u00F3gico da Universidade de Berkeley. Conhecido principalmente pelo \"\": sua vers\u00E3o sem\u00E2ntica da demonstra\u00E7\u00E3o da completude dos sistemas padr\u00E3o de l\u00F3gica de primeira ordem."@pt . . . . . "G. Weaver"@en . . . . . . . . . . . . . . . . . . . . . . . . . "Leon Henkin"@es . . . . . . . . . . . . . . . "Leon Albert Henkin (* 19. April 1921 in Brooklyn; \u2020 1. November 2006 in Oakland) war ein US-amerikanischer Logiker."@de . . . . . . "Leon Henkin"@de . . . "69609"^^ . "Leon Henkin"@pl . . . . "Leon Henkin"@en . . . . . "\u041B\u0435\u043E\u043D \u0410\u043B\u044C\u0431\u0435\u0440\u0442 \u0425\u0435\u043D\u043A\u0438\u043D (\u0442\u0430\u043A\u0436\u0435 \u0432 \u0438\u0441\u0442\u043E\u0447\u043D\u0438\u043A\u0430\u0445 \u0432\u0441\u0442\u0440\u0435\u0447\u0430\u0435\u0442\u0441\u044F \u0432\u0430\u0440\u0438\u0430\u043D\u0442 \u0444\u0430\u043C\u0438\u043B\u0438\u0438 \u0413\u0435\u043D\u043A\u0438\u043D; \u0430\u043D\u0433\u043B. Leon Albert Henkin, 19 \u0430\u043F\u0440\u0435\u043B\u044F 1921 \u2014 1 \u043D\u043E\u044F\u0431\u0440\u044F 2006) \u2014 \u0430\u043C\u0435\u0440\u0438\u043A\u0430\u043D\u0441\u043A\u0438\u0439 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u043A, \u043E\u0434\u0438\u043D \u0438\u0437 \u0432\u0435\u0434\u0443\u0449\u0438\u0445 \u0441\u043F\u0435\u0446\u0438\u0430\u043B\u0438\u0441\u0442\u043E\u0432 XX \u0432\u0435\u043A\u0430 \u0432 \u043E\u0431\u043B\u0430\u0441\u0442\u0438 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u043E\u0439 \u043B\u043E\u0433\u0438\u043A\u0438."@ru . . . "1106398223"^^ . . . . . . . . . . . . "\u30EC\u30AA\u30F3\u30FB\u30D8\u30F3\u30AD\u30F3"@ja . . "h/h110150"@en . . . . . . . . . . "Leon Albert Henkin (Brooklyn, Nueva York, 19 de abril de 1921-Oakland, California, 1 de noviembre de 2006) fue uno de los l\u00F3gicos y matem\u00E1ticos m\u00E1s importantes del siglo XX. Sus trabajos tuvieron un fuerte papel en el desarrollo de la l\u00F3gica, particularmente en la teor\u00EDa de tipos. Fue un acad\u00E9mico activo en la Universidad de Berkeley, donde hizo grandes aportaciones como investigador y docente, adem\u00E1s de contribuir con el desempe\u00F1o de cargos administrativos.\u200B En esta universidad dirigi\u00F3, junto con Alfred Tarski, el Grupo de L\u00F3gica y Metodolog\u00EDa de la Ciencia,\u200B de donde surgieron muchos l\u00F3gicos y fil\u00F3sofos de importancia. Ten\u00EDa un fuerte sentido de compromiso social y defend\u00EDa con pasi\u00F3n sus ideas pacifistas y progresistas.\u200B Particip\u00F3 en muchos proyectos sociales destinados a la ense\u00F1anza de las matem\u00E1ticas, as\u00ED como en proyectos destinados a apoyar a grupos de mujeres y minor\u00EDas para impulsarlos hacia carreras de matem\u00E1ticas y \u00E1reas afines. Aficionado al baile y a la literatura, apreciaba la vida en todas sus facetas: el arte, la cultura, la ciencia y, sobre todo, en la calidez de las relaciones humanas.\u200B Es recordado por sus alumnos por su gran amabilidad, as\u00ED como por su excelencia acad\u00E9mica y docente.\u200B Henkin es conocido principalmente por sus pruebas de completitud de diversos sistemas formales, como la teor\u00EDa de tipos y la l\u00F3gica de primer orden (la completitud de \u00E9sta, en su versi\u00F3n d\u00E9bil, hab\u00EDa sido probada por Kurt G\u00F6del en 1929).\u200B La demostraci\u00F3n de completitud de la teor\u00EDa de tipos la realiza tras introducir una nueva sem\u00E1ntica, basada en los (tambi\u00E9n denominados Modelos de Henkin). El cambio de sem\u00E1ntica que propone permite dar un c\u00E1lculo completo a la teor\u00EDa de tipos y a la l\u00F3gica de segundo orden, entre otras l\u00F3gicas. Sus m\u00E9todos han resultado fruct\u00EDferos para la prueba de diversos resultados, tanto en l\u00F3gica cl\u00E1sica como en l\u00F3gicas no-cl\u00E1sicas. Adem\u00E1s de la l\u00F3gica, la otra rama en la que se centraron sus investigaciones fue el \u00E1lgebra; se especializ\u00F3 en , en las que trabaj\u00F3 junto con A. Tarski y D. Monk.\u200B En cuanto la filosof\u00EDa de las matem\u00E1ticas, aunque los trabajos en que la aborda expl\u00EDcitamente son escasos, puede considerarse que tiene una postura nominalista.\u200B"@es . . . . . . "Leon Albert Henkin (* 19. April 1921 in Brooklyn; \u2020 1. November 2006 in Oakland) war ein US-amerikanischer Logiker."@de . . . . . "356165"^^ . . "Leon Henkin (Brooklyn, 19 de abril de 1921 \u2013 Oakland, 1 de novembro de 2006) foi um l\u00F3gico da Universidade de Berkeley. Conhecido principalmente pelo \"\": sua vers\u00E3o sem\u00E2ntica da demonstra\u00E7\u00E3o da completude dos sistemas padr\u00E3o de l\u00F3gica de primeira ordem."@pt . . . "\u30EC\u30AA\u30F3\u30FB\u30D8\u30F3\u30AD\u30F3\uFF08Leon Henkin\u30011921\u5E744\u670819\u65E5 \u2013 2006\u5E7411\u67081\u65E5\uFF09\u306F\u30A2\u30E1\u30EA\u30AB\u5408\u8846\u56FD\u306E\u6570\u5B66\u8005\u3001\u8AD6\u7406\u5B66\u8005\u3002\u30AB\u30EA\u30D5\u30A9\u30EB\u30CB\u30A2\u5927\u5B66\u30D0\u30FC\u30AF\u30EC\u30FC\u6821\u6570\u5B66\u79D1\u6559\u6388\u3002\u300C\u30D8\u30F3\u30AD\u30F3\u7248\u4E00\u968E\u8FF0\u8A9E\u8AD6\u7406\u306E\u610F\u5473\u8AD6\u7684\u5B8C\u5168\u6027\u306E\u8A3C\u660E\u300D\u3067\u77E5\u3089\u308C\u308B\u3002"@ja . . "Leon Henkin"@pt . . . . . . . . . . . . "Henkin construction"@en . . . . . . . . . . . . . . . . . . . . . . . . . "\u30EC\u30AA\u30F3\u30FB\u30D8\u30F3\u30AD\u30F3\uFF08Leon Henkin\u30011921\u5E744\u670819\u65E5 \u2013 2006\u5E7411\u67081\u65E5\uFF09\u306F\u30A2\u30E1\u30EA\u30AB\u5408\u8846\u56FD\u306E\u6570\u5B66\u8005\u3001\u8AD6\u7406\u5B66\u8005\u3002\u30AB\u30EA\u30D5\u30A9\u30EB\u30CB\u30A2\u5927\u5B66\u30D0\u30FC\u30AF\u30EC\u30FC\u6821\u6570\u5B66\u79D1\u6559\u6388\u3002\u300C\u30D8\u30F3\u30AD\u30F3\u7248\u4E00\u968E\u8FF0\u8A9E\u8AD6\u7406\u306E\u610F\u5473\u8AD6\u7684\u5B8C\u5168\u6027\u306E\u8A3C\u660E\u300D\u3067\u77E5\u3089\u308C\u308B\u3002"@ja . "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. He was an active scholar at the University of California, Berkeley, where he made great contributions as a researcher, teacher, as well as in administrative positions. At this university he directed, together with Alfred Tarski, the Group in Logic and the Methodology of Science, from which many important logicians and philosophers emerged. He had a strong sense of social commitment and was a passionate defensor of his pacifist and progressive ideas. He took part in many social projects aimed at teaching mathematics, as well as projects aimed at supporting women's and minority groups to pursue careers in mathematics and related fields. A lover of dance and literature, he appreciated life in all its facets: art, culture, science and, above all, the warmth of human relations. He is remembered by his students for his great kindness, as well as for his academic and teaching excellence. Henkin is mainly known for his completeness proofs of diverse formal systems, such as type theory and first-order logic (the completeness of the latter, in its weak version, had been proven by Kurt G\u00F6del in 1929). To prove the completeness of Type Theory, Henkin introduces new semantics, based on certain structures, called general models (also known as ). The change of semantics that he proposed permits to provide a complete for Type Theory and for Second-Order Logic, amongst other logics. Henkin methods have aided to prove various model theory results, both in classical and non-classical logics. Besides logic, the other branch on which his investigations were centered was algebra; he specialized in cylindric algebras, in which he worked together with A. Tarski and D. Monk. As for the philosophy of mathematics, although the works in which he explicitly approaches it are scarce, he can be considered to have a nominalist position."@en . . "\u0425\u0435\u043D\u043A\u0438\u043D, \u041B\u0435\u043E\u043D"@ru . . . . . . "Leon Albert Henkin (Brooklyn, Nueva York, 19 de abril de 1921-Oakland, California, 1 de noviembre de 2006) fue uno de los l\u00F3gicos y matem\u00E1ticos m\u00E1s importantes del siglo XX. Sus trabajos tuvieron un fuerte papel en el desarrollo de la l\u00F3gica, particularmente en la teor\u00EDa de tipos. Fue un acad\u00E9mico activo en la Universidad de Berkeley, donde hizo grandes aportaciones como investigador y docente, adem\u00E1s de contribuir con el desempe\u00F1o de cargos administrativos.\u200B En esta universidad dirigi\u00F3, junto con Alfred Tarski, el Grupo de L\u00F3gica y Metodolog\u00EDa de la Ciencia,\u200B de donde surgieron muchos l\u00F3gicos y fil\u00F3sofos de importancia. Ten\u00EDa un fuerte sentido de compromiso social y defend\u00EDa con pasi\u00F3n sus ideas pacifistas y progresistas.\u200B Particip\u00F3 en muchos proyectos sociales destinados a la ense\u00F1anza d"@es . . . . "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. He was an active scholar at the University of California, Berkeley, where he made great contributions as a researcher, teacher, as well as in administrative positions. At this university he directed, together with Alfred Tarski, the Group in Logic and the Methodology of Science, from which many important logicians and philosophers emerged. He had a strong sense of social commitment and was a passionate defensor of his pacifist and progressive ideas. He took part in many social projects aimed at teaching mathematics, as well as projects aimed at supporting women's and minor"@en . "Leon Henkin (ur. 19 kwietnia 1929 w dzielnicy Brooklynie, dzielnicy Nowego Jorku, zm. 1 listopada 2006 w Oakland, Kalifornia) - logik, profesor na Uniwersytecie w Berkeley. Znany przede wszystkim jako autor uproszczenia dowodu klasycznego rachunku logicznego. Twierdzenie o pe\u0142no\u015Bci zosta\u0142o udowodnione przez Kurta G\u00F6dla w jego dysertacji doktorskiej z roku 1929, ale dow\u00F3d ten jest do\u015B\u0107 trudny. Dow\u00F3d Henkina jest znacznie prostszy w lekturze i jako taki jest obecnie powszechnie przytaczany w wi\u0119kszo\u015Bci podr\u0119cznik\u00F3w logiki."@pl . . . . . . .