es65

L'insieme e' ricorsivo. 
E' l'insieme dei termini N a cui posso arrivare, partendo da M, con due passi di riduzione =>. 
E' ricorsivo perche' e' finito. 
Infatti, preso un lambda termine questo ha un numero finito di sottinsiemi di suoi possibili redessi, 
ovviamente, e quindi il numero di P a cui posso arrivare con un passo di riduzione => e' finito.
Per lo stesso motivo sono finiti gli N a cui posso arrivare partendo dai possibili P. 
Qualcuno potrebbe essere stato tratto in inganno credendo che l'insieme sia chiuso per beta-conversione. 

Basta prendere il termine (\xy.y(xz))III come M. 
Ora, M e' beta-convertibile a z, ma non riusciamo ad arrivare a z con due sole riduzioni =>.