Proc Rast in azione
Inviato: 13 set 2017, 22:24
Proc Rast è un giovane matematico con una mente molto brillante. Incuriosito dai famigerati Problemi del Millennio, ha deciso di cimentarsi anche lui in uno di essi, un problema molto famoso e datato: l'ipotesi di Riemann!
Dopo un lungo duro lavoro, dopo notti insonni e dopo diverse insidie, finalmente Proc Rast crede di avere una dimostrazione.
Per la presentazione di questa fantomatica soluzione viene indetto un meeting di una settimana tra tutti i più grandi matematici del mondo, e dopo sette lunghi giorni il nostro Proc Rast ha esposto tutta la sua dimostrazione e ha saputo rispondere ad un po' di obiezioni che gli erano state presentate all'inizio. Tuttavia, proprio nell'ultimo giorno dell'incontro, emerge qualche decina di piccoli casi bastardi da verificare a mano, e quindi Proc Rast è costretto a tornare a casa a tasche vuote: soltanto dopo che avrà inviato a tutti i grandi matematici la tabella con i casi mancanti potrà incassare l'ambito milione.
La trattazione è lunga e tediosa dato che dovrebbe risultare in almeno due pagine zeppe di numeri, e quindi la stragrande maggioranza dei matematici si aspetta di ricevere l'ambita tabella dopo settimane, se non mesi. Ma Proc Rast sorprende tutti e il giorno dopo ha già finito la trattazione, e il giorno dopo ancora avvisa il mondo dicendo di prepararsi perché il suo lavoro è completo.
Ora a Proc Rast resta solo di inviare la famosa tabella e poi potrà finalmente impossessarsi del milione, ma purtroppo per lui ha un brutto vizio che forse non tutti conoscono e che determina anche il suo nome: la procrastinazione!
Ad ogni momento Proc Rast appartiene ad una categoria di procrastinatori data da un intero positivo $n$, che inizialmente vale $1$. Subito dopo l'avviso fatto al mondo ha già pronto tutto il materiale da inviare, ma prima di premere il tasto di invio inizia a procrastinare, perdendo tempo in funzione della sua categoria di procrastinatori. Essendo all'inizio un procrastinatore di prima categoria perde un giorno intero, poi si rende conto dello sbaglio, passa alla seconda categoria e inaugurandola perde sei ore, poi passa alla terza e perde quattro ore, poi passa alla quarta e perde due ore, e così via scalando sempre di una categoria. E per chi si stesse chiedendo quale sia la legge che associa alla categoria di procrastinatori numero $n$ il numero $h(n)$ di ore perse nell'inaugurarla, è semplicemente $h(n)=\frac{24}{n\cdot c(n)}$, dove $c(n)$ è il numero di cifre della scrittura binaria di $n$.
Il vizio di Proc Rast può essere di due diversi livelli di gravità: lieve oppure grave. Se il vizio è lieve, Proc Rast eseguirà solo un numero finito di passaggi di categoria e subito dopo premerà il tasto di invio. Se invece il vizio è grave, Proc Rast passerà per tutte le categorie (tutti gli interi positivi) e il file verrà inviato nel primo istante $x$ per cui ogni periodo di inaugurazione di una categoria è totalmente antecedente ad $x$.
Supponendo che il vizio di Proc Rast sia grave e che il nostro protagonista non subisca alcun intervento esterno, se ora sono passati tre giorni e undici ore dall'avviso di lavoro completato per quanto ancora il mondo dovrà attendere quella tabella?
Dopo un lungo duro lavoro, dopo notti insonni e dopo diverse insidie, finalmente Proc Rast crede di avere una dimostrazione.
Per la presentazione di questa fantomatica soluzione viene indetto un meeting di una settimana tra tutti i più grandi matematici del mondo, e dopo sette lunghi giorni il nostro Proc Rast ha esposto tutta la sua dimostrazione e ha saputo rispondere ad un po' di obiezioni che gli erano state presentate all'inizio. Tuttavia, proprio nell'ultimo giorno dell'incontro, emerge qualche decina di piccoli casi bastardi da verificare a mano, e quindi Proc Rast è costretto a tornare a casa a tasche vuote: soltanto dopo che avrà inviato a tutti i grandi matematici la tabella con i casi mancanti potrà incassare l'ambito milione.
La trattazione è lunga e tediosa dato che dovrebbe risultare in almeno due pagine zeppe di numeri, e quindi la stragrande maggioranza dei matematici si aspetta di ricevere l'ambita tabella dopo settimane, se non mesi. Ma Proc Rast sorprende tutti e il giorno dopo ha già finito la trattazione, e il giorno dopo ancora avvisa il mondo dicendo di prepararsi perché il suo lavoro è completo.
Ora a Proc Rast resta solo di inviare la famosa tabella e poi potrà finalmente impossessarsi del milione, ma purtroppo per lui ha un brutto vizio che forse non tutti conoscono e che determina anche il suo nome: la procrastinazione!
Ad ogni momento Proc Rast appartiene ad una categoria di procrastinatori data da un intero positivo $n$, che inizialmente vale $1$. Subito dopo l'avviso fatto al mondo ha già pronto tutto il materiale da inviare, ma prima di premere il tasto di invio inizia a procrastinare, perdendo tempo in funzione della sua categoria di procrastinatori. Essendo all'inizio un procrastinatore di prima categoria perde un giorno intero, poi si rende conto dello sbaglio, passa alla seconda categoria e inaugurandola perde sei ore, poi passa alla terza e perde quattro ore, poi passa alla quarta e perde due ore, e così via scalando sempre di una categoria. E per chi si stesse chiedendo quale sia la legge che associa alla categoria di procrastinatori numero $n$ il numero $h(n)$ di ore perse nell'inaugurarla, è semplicemente $h(n)=\frac{24}{n\cdot c(n)}$, dove $c(n)$ è il numero di cifre della scrittura binaria di $n$.
Il vizio di Proc Rast può essere di due diversi livelli di gravità: lieve oppure grave. Se il vizio è lieve, Proc Rast eseguirà solo un numero finito di passaggi di categoria e subito dopo premerà il tasto di invio. Se invece il vizio è grave, Proc Rast passerà per tutte le categorie (tutti gli interi positivi) e il file verrà inviato nel primo istante $x$ per cui ogni periodo di inaugurazione di una categoria è totalmente antecedente ad $x$.
Supponendo che il vizio di Proc Rast sia grave e che il nostro protagonista non subisca alcun intervento esterno, se ora sono passati tre giorni e undici ore dall'avviso di lavoro completato per quanto ancora il mondo dovrà attendere quella tabella?