La traccia del 25/09/09:

1. dimostrare che la ricorsione primitiva è urm calcolabile.
2. dimostrare che la parte intera della radice quadrata è ricorsiva primitiva.
3. teorema di Rice e fare un esempio di un insieme che non è decidibile usando il teorema.