Leon Henkin was a logician at the University of California, Berkeley. He was principally known for the "Henkin completeness proof": his version of the proof of the semantic completeness of standard systems of first-order logic.

PropertyValue
dbpedia-owl:thumbnail
dbpprop:abstract
  • Leon Henkin was a logician at the University of California, Berkeley. He was principally known for the "Henkin completeness proof": his version of the proof of the semantic completeness of standard systems of first-order logic.
  • Leon Albert Henkin war ein US-amerikanischer Logiker.
  • Leon Albert Henkin amerikai matematikus. A BA fokozatot a Columbia Egyetemen szerezte matematikából és filozófiából (1941), az MA fokozatot a Princeton Egyetemen (1942), és ugyanott kapta a PhD-t is, 1947-ben, Alonzo Church témavezetésével. 1942 és 1946 között az USA hadseregében szolgált. 1949 és 1953 között a University of Southern Californian, haláláig a Berkeley Egyetem matematika tanszékén maradt, nyugdíjazása után, mint Emeritus Professor. Megbízott tanszékvezető illetve tanszékvezető (1966-1968, 1983-1985). Az Association for Symbolic Logic elnöke (962-1964). Elsősorban matematikai logikával foglalkozott; legismertebb eredménye a „Henkin-féle teljesség” bizonyítása, mely az elsőrendű logika hagyományos rendszereinek szemantikai teljességének egy bizonyítása. Eredménye, már ami a tétel bizonyítottságát illeti, nem új – elsőként Kurt Gödel adott egy bizonyítást 1929-ben befejezett doktori disszertációjában. Gödel 1930-ban is közreadott egy újabb bizonyítást. Henkin módszere egyszerűbb, átláthatóbb, így megjelenése után elterjedtebbé vált. Henkin bizonyítása nem konstruktív, (egy úgynevezett tiszta egzisztenciabizonyítás): ugyan belátja, hogy amennyiben egy α mondat s (szemantikai) következménye a Σ mondathalmaznak, akkor létezik α-nak egy levezetése Σ-ból, de nem szól arról, hogy ez a bizonyítás konkrétan hogyan adható meg. Tehát, nagy vonalakban arról van szó, hogy ha az elsőrendű logika egy következtetése helyes, akkor formálisan le is lehet vezetni a helyességét. További eredményei: sikerült a Löwenheim–Skolem-tételt kiterjesztenie elsőrendűnél magasabb rendű kalkulusokra is.
  • レオン・ヘンキン（Leon Henkin、1921年4月19日 – 2006年11月1日）は論理学者。カリフォルニア大学バークレー校の数学科の教授だった。ヘンキンは「ヘンキン版一階述語論理の意味論的完全性の証明」で有名。
  • Leon Henkin - logik, profesor na Uniwersytecie w Berkeley. Znany przede wszystkim jako autor uproszczenia dowodu twierdzenia o pełności 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 &Sigma), nie pokazuje jednak w jaki sposób. W późniejszym okresie Henkin uogólnił swój wynik na wersję logiki wyższego rzędu Churcha. Rezultat ten oparty jest na specjalnej teorii modeli, tak zwanych modeli Henkinowskich.
  • Leon Henkin foi um lógico da Universidade de Berkeley. Ele foi 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.
dbpprop:hasPhotoCollection
dbpprop:reference
rdf:type
rdfs:comment
  • Leon Henkin was a logician at the University of California, Berkeley. He was principally known for the "Henkin completeness proof": his version of the proof of the semantic completeness of standard systems of first-order logic.
  • Leon Albert Henkin war ein US-amerikanischer Logiker.
  • Leon Albert Henkin amerikai matematikus. A BA fokozatot a Columbia Egyetemen szerezte matematikából és filozófiából (1941), az MA fokozatot a Princeton Egyetemen (1942), és ugyanott kapta a PhD-t is, 1947-ben, Alonzo Church témavezetésével. 1942 és 1946 között az USA hadseregében szolgált. 1949 és 1953 között a University of Southern Californian, haláláig a Berkeley Egyetem matematika tanszékén maradt, nyugdíjazása után, mint Emeritus Professor.
  • レオン・ヘンキン（Leon Henkin、1921年4月19日 – 2006年11月1日）は論理学者。カリフォルニア大学バークレー校の数学科の教授だった。ヘンキンは「ヘンキン版一階述語論理の意味論的完全性の証明」で有名。
  • Leon Henkin - logik, profesor na Uniwersytecie w Berkeley. Znany przede wszystkim jako autor uproszczenia dowodu twierdzenia o pełności 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.
  • Leon Henkin foi um lógico da Universidade de Berkeley. Ele foi 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.
rdfs:label
  • Leon Henkin
  • Leon Henkin
  • Leon Henkin
  • レオン・ヘンキン
  • Leon Henkin
  • Leon Henkin
owl:sameAs
skos:subject
foaf:depiction
foaf:page
is dbpedia-owl:Scientist/doctoralStudent of
is dbpedia-owl:doctoralStudent of
is dbpprop:doctoralStudents of
is dbpprop:redirect of
is owl:sameAs of