Leggendo online (e tra le righe ad Analisi 1) mi è parso di capire che NON è sempre possibile esprimere una sequenza definita per ricorsione in forma standard. E vabbè, ci si crede. In particolare è credibile che molte di queste sequenze NON possano essere scritte come composizione di funzione continue (peggio ancora derivabili).
Ma, mi chiedevo, esiste un teorema che garantisce l'inesistenza di queste forme chiuse? Oppure semplicemente non conosciamo (oppure non esiste) un algoritmo che permette di costruirle?