En 1978, cuando murió, dejó tras de sí decenas de miles de escritos en una compleja taquigrafía alemana, la Gabelsberger. un antiguo sistema alemán de escritura rápida creado en 1834, basado en trazos cursivos y fluidos donde el grosor, la inclinación o la altura de cada línea alteran por completo su significado. A eso hay que sumarle que elimina letras mudas, omite vocales deducibles por el contexto y utiliza símbolos especiales para prefijos, sufijos y palabras de uso muy frecuente. Y, por si fuera poco, Gödel lo personalizó con abreviaturas