Con sólo trece años, estando en bachillerato, se interesó por el teorema de incompletitud de Gödel.