Gödelova věta o úplnosti predikátové logiky - Encyklopedie - Portál divoch.net

Hledat:

Invia.cz Pojeďte do Egypta Kanárské ostrovy Dovolená - Turecko Dominikánská republika Madeira Last minute
 

Gödelova věta o úplnosti predikátové logiky

Gödelova věta o úplnosti predikátové logiky (také jen Gödelova věta o úplnosti či věta o úplnosti) je základní větou matematické logiky. Dává do souvislosti syntaktický pojem dokazatelnosti a sémantický pojem pravdivosti v modelu.

Znění[editovat | editovat zdroj]

Větou o úplnosti se obvykle nazývá následující ekvivalence. Implikace zleva doprava se někdy nazývá věta o korektnosti.

Formule je dokazatelná v teorii T, právě když platí v každém modelu T.

Důsledky[editovat | editovat zdroj]

Gödelova věta o úplnosti má zcela základní význam pro celou matematickou logiku. Vyplývá z ní mnoho důležitých tvrzení a vět, například:

Historie[editovat | editovat zdroj]

Větu o úplnosti dokázal poprvé v roce 1929 Kurt Gödel, v současné době se však častěji uvádí důkaz podaný později Leonem Henkinem.

Související články[editovat | editovat zdroj]

 
Tento článek je převzat z české wikipedie - otevřené encyklopedie, originální článek naleznete na adrese: „https://cs.wikipedia.org/w/index.php?title=Gödelova_věta_o_úplnosti_predikátové_logiky&oldid=11199397
Stránka byla naposledy upravena 10. 2. 2014 v 23:39. Editovat celý článek Gödelova věta o úplnosti predikátové logiky.
Text je dostupný pod licencí Creative Commons Uveďte autora – Zachovejte licenci 3.0 Unported, případně za dalších podmínek. Podrobnosti naleznete na stránce Podmínky užití.
Další služby: Portál | Katalog | Hledej | Zprávy | Počasí | Kurzy | Práce | Slovník | TV | Online hry | Java hry | SMS | Loga a melodie | Chat | Fórum | Kontakt | Set-top-boxy