En la epistemología de las matemáticas, aclama que sus resultados en lógica matemática y en teoría de la información algorítmica muestran que hay "“hechos matemáticos que son ciertos sin razón, por accidente.