[Blomex]

#matematyka potrafi ktoś podać jakiś przykład w jaki sposób skorzystać z Twierdzenie Rice'a przy dowodzeniu nierozstrzygalności? Na polskiej wikipedii jest dosłownie jedno zdanie o tym twierdzeniu bez dowodu i nie wiem jak z tego skorzystać. Co w ogóle jest (nie)trywialną własnością dla języka rozpoznowanego przez maszynę turinga?

[p.....k]

@Blomex: nietrwyialna własność z tw Rice'a to relacja binarna na maszynach turinga różna od pustej i pełnej relacji. Żeby spełniać założenia twierdzenia własność musi też być esktensjonalna - to znaczy maszyny są ze sobą w relacji wtw wyliczają tą samą funkcję.