Postova věta

Postova věta popisuje v teoretické informatice vztah mezi rekurzivitou a rekurzivní spočetností. Říká, že množina M je rekurzivní právě tehdy, pokud jsou jak M, tak její doplněk rekurzivně spočetné. Je pojmenována podle Emila Posta.

Externí odkazy

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.