This HTML5 document contains 30 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
wikipedia-huhttp://hu.wikipedia.org/wiki/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-huhttp://hu.dbpedia.org/resource/
prop-huhttp://hu.dbpedia.org/property/
n16http://www.berkeley.edu/news/media/releases/2006/11/
schemahttp://schema.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n10http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n9http://hu.dbpedia.org/resource/Sablon:
owlhttp://www.w3.org/2002/07/owl#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
n7http://hu.dbpedia.org/resource/Kategória:

Statements

Subject Item
dbpedia-hu:Leon_Henkin
rdf:type
n10:Agent wikidata:Q24229398 owl:Thing dbo:Agent n10:NaturalPerson wikidata:Q215627 foaf:Person schema:Person wikidata:Q5 dbo:Person
rdfs:label
Leon Henkin
owl:sameAs
freebase:m.01zx80
dct:subject
n7:1921-ben_született_személyek n7:2006-ban_elhunyt_személyek n7:Amerikai_matematikusok n7:New_York-iak n7:Szakírók n7:Amerikai_egyetemi,_főiskolai_oktatók
dbo:wikiPageID
10508
dbo:wikiPageRevisionID
23794781
dbo:wikiPageExternalLink
n16:09_henkin.shtml
prop-hu:wikiPageUsesTemplate
n9:Nemzetközi_katalógusok n9:Portál n9:Személy_infobox n9:Jegyzetek
dbo:abstract
Leon Albert Henkin (Brooklyn, New York, 1921. április 19. – Oakland, Kalifornia, 2006. november 1.) amerikai matematikus. A BA fokozatot a Columbia Egyetemen szerezte matematikából és filozófiából (1941), az MA fokozatot a Princetoni 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 , haláláig a matematika tanszékén maradt Berkeleyben, 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 (1962-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 (ld. Gödel teljességi tétele). 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 kiterjesztenie elsőrendűnél magasabb rendű kalkulusokra is.
prov:wasDerivedFrom
wikipedia-hu:Leon_Henkin?oldid=23794781&ns=0
dbo:wikiPageLength
3307
foaf:isPrimaryTopicOf
wikipedia-hu:Leon_Henkin
Subject Item
wikipedia-hu:Leon_Henkin
foaf:primaryTopic
dbpedia-hu:Leon_Henkin