Na epistemologia da matemática, ele afirma que suas descobertas na lógica matemática e na teoria dos algoritmos mostram que existem "fatos matemáticos que são verdadeiras por qualquer razão, eles são verdadeiros por acidente.