Escribió el libro "los casos solubles del problema de la decisión" (Holanda del norte, 1954 ).Él fue un matemático destacado de ese siglo .