Come sono diventato un Matematico? (storia lunga) Da bambino, mio padre mi disse "la nostra famiglia non è brava in matematica" e io, preferendo il calcio e gli appuntamenti a qualsiasi cosa che richiedesse impegno mentale, accettai questa verità. Come studente universitario ho studiato Biologia e Informatica, per entrare nel campo delle Neuroscienze (alla fine ho sposato la figlia di uno dei miei stimati professori. Ma questa è un'altra storia). Mi sono reso conto che mi piacevano davvero i corsi di matematica e odiavo tutto ciò che era applicato - sia la programmazione che i laboratori di biologia. Infatti, ogni semestre andavo dal Decano degli studenti universitari dell'epoca (Prof. @noamnisan, ora consulente di StarkWare) per negoziare la sostituzione dei corsi di programmazione con più matematica (ed è per questo che non so programmare fino ad oggi; anche se Introduzione al C++ è stato il primo corso che ho insegnato come Professore Assistente. Ma anche questo è un'altra storia.) Poi, come studente laureato, volevo entrare nel campo del Machine Learning, ma il prestigioso Professore (Tali Tishby, RIP) aveva già un sacco di studenti. Ero seduto in un corso di Complessità Computazionale tenuto da un Postdoc, quando fu sostituito per una lezione da un certo Avi Wigderson. Non sapevo nulla di lui all'epoca (la sua foto appariva sui manifesti, poiché aveva appena ricevuto il Premio Nevanlinna, ma come giovane studente laureato ignorante non sapevo cosa significasse). Avi parlò di come alcune persone stessero cercando di dimostrare formalmente che è impossibile risolvere la congettura P vs. NP. E io rimasi affascinato da questo. Così gli dissi: voglio studiare questo come progetto di MSc. Iniziò un periodo di corteggiamento. Avi non era sicuro che fossi adatto a lui (i miei voti in matematica erano ok, ma non ero mai stato il tipo da voti sempre alti). Così, mi lasciò un libro sulla Complessità delle Prove, dicendo: Leggi e riassumilo per me. Ho letto quel libro circa 3 volte da cima a fondo e non ho capito una parola oltre il capitolo introduttivo (oggi so che è più probabile che sia colpa dell'autore, non della mia stupidità. Ma questa è un'altra storia). Alcune settimane dopo, ancora senza capire una parola sull'argomento, Avi chiese di spiegare un recente articolo su "grado e dimensione delle prove del Calcolo Polinomiale". Ci siamo seduti a casa sua, ho spiegato. A un certo punto chiese: "Perché non può essere applicato al sistema di prove di Risoluzione?" (La Risoluzione è il sistema di prove di calcolo proposizionale più importante e fondamentale). Ho strizzato gli occhi, pensato un po' e ho detto "Oh, ma può, ecco come", e ho applicato lo stesso metodo di prova alla Risoluzione. Avi si è molto entusiasta. Ho detto "inviamo un'email agli autori del precedente articolo", pensando che se capisco queste cose, non può essere più di un'email. Avi insistette che lo scrivessimo come un articolo. Ogni pochi giorni cercavo di convincerlo a lasciar perdere e semplicemente inviare un'email, ma lui era irremovibile, e io ascoltai. Fortunatamente l'ho fatto. È finito come il mio articolo più citato e importante prima di quelli su STARK/SNARK. Dopo quell'articolo, ne sono seguiti altri. Con ognuno, ero sicuro che fosse solo un'osservazione degna di un'email, non una Matematica Profonda. Vedevo tutti questi altri articoli, così difficili da capire, e in confronto le mie cose sembravano così chiare e semplici. Ci sono voluti molti anni per rendermi conto che questo è il modo in cui progredisce la matematica. Passi molto tempo a interiorizzare alcuni concetti teorici, e poi un giorno "lo vedi". E poi ti sembra tutto chiaro e semplice. Ma è chiaro e semplice solo per te. Per gli altri, è complicato. Oggi, quando devo andare a rivedere alcuni dei miei articoli precedenti, mi ritrovo a strizzare gli occhi, grattarmi la testa e dire "cavolo, sono cose serie, come hanno fatto a pensarci?" :-) Dopo quelle prime scoperte matematiche, Avi mi offrì di non fare solo un MSc ma in realtà un dottorato, ed è così che sono diventato un informatico teorico (che è una sorta di matematico). FINE.