Teorema lui Henkin

Această intrare despre subiectul logicii este doar o schiță . Contribuiți la îmbunătățirea acestuia în conformitate cu convențiile Wikipedia .

Teorema lui Henkin este o dovadă a exhaustivității unui sistem formal , obținut în 1949 de logicianul Leon Henkin . Rezultatul care face obiectul probei a fost obținut pentru prima dată de Kurt Gödel în 1929, dar versiunea lui Henkin este o simplificare a probei, cu o slăbire a condițiilor prealabile.

Bibliografie

• Henkin, Leon. 1949. „Completitudinea calculului funcțional de prim ordin”, Jurnalul de logică simbolică . 14: 159–166.
• Henkin, Leon. 1950. „Completitudine în teoria tipurilor”, Journal of Symbolic Logic 15: 81–91.

Elemente conexe

• Teorema completitudinii lui Gödel
• Teorema indefinibilității lui Tarski
• Teoreme de incompletitudine ale lui Gödel