Teorema di Henkin
Vai alla navigazione
Vai alla ricerca
Il Teorema di Henkin è una dimostrazione della completezza di un sistema formale, ottenuta nel 1949 dal logico Leon Henkin. Il risultato che è oggetto della dimostrazione era stato ottenuto per primo da Kurt Gödel nel 1929, ma la versione di Henkin è una semplificazione della dimostrazione, con un allentamento delle precondizioni.
Bibliografia[modifica | modifica wikitesto]
- Henkin, Leon. 1949. "The Completeness of the First-Order Functional Calculus", Journal of Symbolic Logic. 14: 159–166.
- Henkin, Leon. 1950. "Completeness in the theory of types", Journal of Symbolic Logic 15: 81–91.