Essi costituiscono la versione originaria nel linguaggio dell'aritmetica binaria di tutto ciò che avviene sul computer: le popolari sequenze di 0 e 1 che si vedono spesso sugli schermi dei computer nei film di fantascienza, sono appunto sequenze di numeri di Gödel.

Benché il processo sia stato ideato e usato esplicitamente da Gödel nel suo articolo del 1931, in realtà le origini storiche risalgono almeno a Leibniz (per maggiori dettagli è possibile consultare il mio libro Diavolo in cattedra Einaudi, 2003).