Scusa, Caro Lettore, vado di fretta ma volevo condividere questo pensiero che mi è venuto sotto la doccia un momento fa:

non esistono materie difficili solo materie che richiedono più o meno prerequisiti

Informatica Teorica ad esempio è una sfilza di pippe mentali incomprensibili.
Eppure qualsiasi programmatore guardando questo codice

 while not finale?(valore)
   valore=calcola(valore)
  end

potrebbe dirvi “non so se termina“.
Allora perché il teorema di rice sembra complicato? Due minuti fa ho capito: è solo perché mi (ci) mancano i prerequisiti.

PS
occhio che è attiva la moderazione se commentate e non si vede niente siete finiti nella coda. Scusate ma 300 commenti spam in un giorno andavano un filino controllati..