Descrito como el lógico más importante desde Aristóteles. Era conocido por sus dos teoremas de la inconclusión.
Creció en la República Checa, que en ese entonces era Austria-Hungría, durante la Primera Guerra Mundial. Era competente en matemáticas de nivel colegial cuando se matriculó en la Universidad de Vienna.
Postuló influyentes ideas sobre los axiomas se la teoría se set, la teoría de prueba, la lógica clásica, la lógica de intuición y la lógica modal.
Su padre Rudolph dirigió una fábrica textil. Se casó con Adele Nimbursky.
Era buen amigo de Albert Einstein durante su tiempo en Princeton.
