teorém Churchův

Logika, teorém dokazující, že obecný případ rozhodnutelnosti predikátového kalkulu prvního stupně s identitou je neřešitelný. Pro tento kalkul tedy neexistuje žádná algoritmizovatelná procedura, tj. efektivní procedura uskutečnitelná počítačem, která by dovolila o libovolné formuli tohoto kalkulu prokázat, zda je či není v něm dokazatelná.

Datum vytvoření: 14. 3. 2000
Datum aktualizace: 14. 3. 2007
Autor: -red-

Reklama: