Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
rozhodnutelná teorie
Ceská Wikipedie- Bezplatná encyklopedie
Download this dictionary
Rozhodnutelnost
Rozhodnutelnost
je
matematický
pojem z oblasti
matematické logiky
. Vyjadruje, zda existuje konecný
algoritmus
, který pro každou
formuli
urcí, zda je v dané
teorii
dokazatelná
nebo není. Teorie, pro níž takový algoritmus existuje, se nazývá
rozhodnutelná
, v opacném prípade pak
nerozhodnutelná
. Problematika rozhodnutelnosti úzce souvisí s
Gödelovými vetami o neúplnosti
.
Více na Wikipedia.org...
© Tento clánek používá materiály z
Wikipedia
®
a je licencovaný pod
GNU Free Documentation License
a dispozici za podmínek licence
Creative Commons Uvedte autora-Zachovejte licenci