b'\n_START_ARTICLE_\nTwierdzenie Rice\xe2\x80\x99a\n_START_PARAGRAPH_\nTwierdzenie Rice\xe2\x80\x99a \xe2\x80\x93 ka\xc5\xbcda nietrywialna w\xc5\x82asno\xc5\x9b\xc4\x87 j\xc4\x99zyk\xc3\xb3w rekurencyjnie przeliczalnych jest nierozstrzygalna._NEWLINE_Twierdzenie zawdzi\xc4\x99cza swoj\xc4\x85 nazw\xc4\x99 Henry\xe2\x80\x99emu Gordonowi Rice\xe2\x80\x99owi.\n_START_SECTION_\nSformalizowane twierdzenie Rice\xe2\x80\x99a\n_START_PARAGRAPH_\nNiech  b\xc4\x99dzie rodzin\xc4\x85 funkcji n-argumentowych przy  tak\xc4\x85, \xc5\xbce:_NEWLINE_W\xc3\xb3wczas zbi\xc3\xb3r:_NEWLINE_nie jest zbiorem rekurencyjnym'