Discussione:Teorema di Rice
Ultimo commento: 12 anni fa di 150.217.1.25
La tesi del teorema è vera, ma parziale, il teorema di Rice è in realtà estendibile alle funzioni semidecidibili ( o ricorsivamente enumerabili) di cui le funzioni calcolabili (decibili) sono un sottoinsieme stretto.
Ometto per ora la modifica della voce aspettando ulteriori pareri sull'argomento (non è il mio ambito di ricerca e potrei sbagliare).
LucretiusT— Questo commento senza la firma utente è stato inserito da 150.217.1.25 (discussioni · contributi) 12:55, 13 dic 2012 (CET).