Leon Henkin

http://dbpedia.org/resource/Leon_Henkin an entity of type: Thing

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

レオン・ヘンキン（Leon Henkin、1921年4月19日 – 2006年11月1日）はアメリカ合衆国の数学者、論理学者。カリフォルニア大学バークレー校数学科教授。「ヘンキン版一階述語論理の意味論的完全性の証明」で知られる。 rdf:langString

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 "": sua versão semântica da demonstração da completude dos sistemas padrão de lógica de primeira ordem. rdf:langString

Леон Альберт Хенкин (также в источниках встречается вариант фамилии Генкин; англ. Leon Albert Henkin, 19 апреля 1921 — 1 ноября 2006) — американский математик, один из ведущих специалистов XX века в области математической логики. rdf:langString

Leon Albert Henkin (Brooklyn, Nueva York, 19 de abril de 1921-Oakland, California, 1 de noviembre de 2006) fue uno de los lógicos y matemáticos más importantes del siglo XX. Sus trabajos tuvieron un fuerte papel en el desarrollo de la lógica, particularmente en la teoría de tipos. Fue un académico activo en la Universidad de Berkeley, donde hizo grandes aportaciones como investigador y docente, además de contribuir con el desempeño de cargos administrativos. En esta universidad dirigió, junto con Alfred Tarski, el Grupo de Lógica y Metodología de la Ciencia, de donde surgieron muchos lógicos y filósofos de importancia. Tenía un fuerte sentido de compromiso social y defendía con pasión sus ideas pacifistas y progresistas. Participó en muchos proyectos sociales destinados a la enseñanza d rdf:langString

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 rdf:langString

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łności zostało udowodnione przez Kurta Gödla w jego dysertacji doktorskiej z roku 1929, ale dowód ten jest dość trudny. Dowód Henkina jest znacznie prostszy w lekturze i jako taki jest obecnie powszechnie przytaczany w większości podręczników logiki. rdf:langString

rdfs:label

rdf:langString Leon Henkin

rdf:langString レオン・ヘンキン

rdf:langString Leon Henkin

rdf:langString Хенкин, Леон

dbpedia-owl:wikiPageID

xsd:integer 356165

dbpedia-owl:wikiPageRevisionID

xsd:integer 1106398223

dbpprop:author

rdf:langString G. Weaver

dbpprop:id

rdf:langString h/h110150

dbpprop:title

rdf:langString Henkin construction

dbpedia-owl:abstract

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

rdf:langString Leon Albert Henkin (Brooklyn, Nueva York, 19 de abril de 1921-Oakland, California, 1 de noviembre de 2006) fue uno de los lógicos y matemáticos más importantes del siglo XX. Sus trabajos tuvieron un fuerte papel en el desarrollo de la lógica, particularmente en la teoría de tipos. Fue un académico activo en la Universidad de Berkeley, donde hizo grandes aportaciones como investigador y docente, además de contribuir con el desempeño de cargos administrativos. En esta universidad dirigió, junto con Alfred Tarski, el Grupo de Lógica y Metodología de la Ciencia, de donde surgieron muchos lógicos y filósofos de importancia. Tenía un fuerte sentido de compromiso social y defendía con pasión sus ideas pacifistas y progresistas. Participó en muchos proyectos sociales destinados a la enseñanza de las matemáticas, así como en proyectos destinados a apoyar a grupos de mujeres y minorías para impulsarlos hacia carreras de matemáticas y áreas 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. Es recordado por sus alumnos por su gran amabilidad, así como por su excelencia académica y docente. Henkin es conocido principalmente por sus pruebas de completitud de diversos sistemas formales, como la teoría de tipos y la lógica de primer orden (la completitud de ésta, en su versión débil, había sido probada por Kurt Gödel en 1929). La demostración de completitud de la teoría de tipos la realiza tras introducir una nueva semántica, basada en los (también denominados Modelos de Henkin). El cambio de semántica que propone permite dar un cálculo completo a la teoría de tipos y a la lógica de segundo orden, entre otras lógicas. Sus métodos han resultado fructíferos para la prueba de diversos resultados, tanto en lógica clásica como en lógicas no-clásicas. Además de la lógica, la otra rama en la que se centraron sus investigaciones fue el álgebra; se especializó en , en las que trabajó junto con A. Tarski y D. Monk. En cuanto la filosofía de las matemáticas, aunque los trabajos en que la aborda explícitamente son escasos, puede considerarse que tiene una postura nominalista.

rdf:langString 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ödel 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.

rdf:langString レオン・ヘンキン（Leon Henkin、1921年4月19日 – 2006年11月1日）はアメリカ合衆国の数学者、論理学者。カリフォルニア大学バークレー校数学科教授。「ヘンキン版一階述語論理の意味論的完全性の証明」で知られる。

rdf:langString 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łności zostało udowodnione przez Kurta Gödla w jego dysertacji doktorskiej z roku 1929, ale dowód ten jest dość trudny. Dowód Henkina jest znacznie prostszy w lekturze i jako taki jest obecnie powszechnie przytaczany w większości podręczników logiki. Podejście Henkina jest niekonstruktywne – pozwala ono jedynie stwierdzić, że jeżeli zdanie α wynika semantycznie z pewnego zbioru zdań Σ, to wynika z niego również syntaktycznie (tj. ma dowód w oparciu o zbiór Σ), nie pokazuje jednak w jaki sposób. W późniejszym okresie Henkin uogólnił swój wynik na wersję Churcha. Rezultat ten oparty jest na specjalnej teorii modeli, tak zwanych modeli Henkinowskich.

rdf:langString 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 "": sua versão semântica da demonstração da completude dos sistemas padrão de lógica de primeira ordem.

rdf:langString Леон Альберт Хенкин (также в источниках встречается вариант фамилии Генкин; англ. Leon Albert Henkin, 19 апреля 1921 — 1 ноября 2006) — американский математик, один из ведущих специалистов XX века в области математической логики.

data from the linked data cloud