Poichè nel corso del suo lavoro, il programmatore oltre a scrivere "select * from ..." si trova a dover risolvere dei problemi. Ultimamente ho letto il seguente paper all'indirizzo
http://arxiv.org/abs/math.NT/0309224
il quale tratta di un problema matematico semplicissimo da formulare ma ancora irrisolto, ( dal punto di vista computazionale è facile verificarlo ma una dimostrazione non è ancora stata trovata). Il problema si formula così
- si consideri un numero intero x
- si assegni a x un nuovo valore nella seguente maniera: se x è pari allora si prende x e lo si divide per due se x è dispari lo si moltiplica per tre gli si aggiunge 1 e lo si divide per due
- riprendi dal passo 1 con il nuovo valore di x.
La congettura è che l'algoritmo converga sempre a x=1 in un numero finito di passi.
zerocode