numero mirabile
numero mirabile locuzione con cui si indica un numero naturale n per il quale la seguente procedura, definita soltanto per un numero iniziale n che sia un numero naturale, ha un termine:
Per esempio, il numero 26 è un numero di tal genere perché:
A questo punto la condizione n = 1 è vera; si esce perciò dal ciclo e la procedura termina. Il numero 26 è perciò un numero mirabile. Se il numero non è mirabile, si entra in un loop, che non conduce a n = 1 e quindi la procedura non ha termine.