La majoria dels seus treballs són recollits en el volum pòstum The Foundations of Mathematics and Other Logical Essays (1931). Seguidor en part de Wittgenstein, proposà algunes modificacions als Principia Mathematica de Russell i Whitehead, especialment pel que fa a les funcions i a la teoria dels tipus. Formulà també una teoria sobre les proposicions causals i mostrà la dificultat de fonamentar tota la matemàtica en la lògica, així com de verificar les proposicions generals.