Ad un certo punto ne ho avuto abbastanza della ricerca su filosofia e sviluppo della probabilità e sulla base di un'idea venutami in mente mi sono ritrovato come per caso a studiare i fondamenti della geometria. Ciò mi ha portato ad individuare specifici problemi aperti nella teoria della dimostrazione di sistemi logico-matematici che non sapevo risolvere. Sara Negri (al timone nella foto) invece ne era capace; aveva seguito un corso in questo campo ad Amsterdam nel 1992, cinque anni prima. Presto è diventato chiaro che la sua scoperta era generalmente ritenuta
impossibile.

A questo punto è iniziata una meravigliosa collaborazione scientifica con la mia futura moglie, collaborazione che ha portato a numerosi articoli e a due monografie con Sara come coautrice: Structural Proof Theory e Proof Analysis (2001 e 2011, Cambridge U.P.). Con tre bambini abbiamo dovuto fare incredibili manovre acrobatiche per riuscire a partecipare ai congressi. Una volta ho tenuto a Monaco una presentazione improvvisata ad un certo Herr Professor Doktor scrivendo su una grande lavagna, con un bebè sul braccio sinistro, il gesso nella mano destra, auf deutsch natürlich, das war aber heftig!

Sara si è poi orientata verso la direzione della Logica filosofica, che ho seguito solo marginalmente. Da parte mia, ho fatto parecchia ricerca storico-filosofica nel campo dei fondamenti della logica e della matematica. Restano comunque argomenti di vivace conversazione oltre al menu serale proposto dallo chef (=JvP) o le questioni scolastiche dei figli (=SN).