Además publicó numerosos artículos de filosofía, como "The Four-Color Problem and its Philosophical Significance" (1979) en el que argumenta que el incremento en el uso de las computadoras estaba cambiando la naturaleza de la prueba matemática.