Se chi pone la domanda ha in tasca un telefonino o in mano un tablet, dico: - Non avresti quello, né avremmo la società informatica se Kurt Gödel e compagni non avessero riflettuto molto profondamente sulle questioni dei fondamenti della logica e dell'aritmetica. Su queste riflessioni sono basate le teorie dei linguaggi formali e i concetti computazionali su cui a sua volta si basano i linguaggi di programmazione e i calcoli algoritmici.

La Seconda guerra mondiale costrinse Alan Turing e Johann von Neumann a sviluppare computer programmabili basati su queste idee, uno per decifrare il codice dei sottomarini tedeschi, e l'altro per il calcolo numerico dell'effetto di un'esplosione nucleare. Questa era la "rilevanza sociale" della ricerca di base, ma Gödel e compagni certamente non avrebbero ottenuto neanche uno scellino per le loro ricerche esoteriche con gli attuali criteri di politica scientifica!