Su artículo "A note on the entscheidungsproblem" presentó lo que ahora se conoce como el teorema de Church: La indecidibilidad de la validez de la lógica de primer orden.