Informateci

- Perché la dimostrazione per diagonalizzazione non funziona per le funzioni parziali? Perché non potrei estendere le definizioni includendo TOT o EXT? - Dimostrazione che EXT non è ricorsivo. - Dimostrazione che se A è un iirf diverso da vuoto e N, allora K si riduce ad A oppure K si riduce ad A se...