Kanhända har frågeställaren i fickan en telefon, eller en tablett eller dylik i handen. Då säger jag: Du skulle inte ha den där grejen och vi inte heller detta informationssamhälle om Kurt Gödel och andra inte hade tänkt väldigt djupt på logikens och aritmetikens grunder på 20- och 30-talet. Dessa funderingar ledde till teorier om formella språk och formell räkning, som i sin tur gav oss programmeringsspråk och algoritmisk räkning.

Det andra världskriget påtvingade Alan Turing och Johann von Neumann att på sina håll utveckla idén om en programmerbar dator, den ena för att knäcka de tyska u-båtarnas hemliga kod, den andra för att numeriskt räkna effekten på atombombens explosion. Så där har vi "samhällelig relevans" inom grundforskning, även om Gödel &co aldrig skulle ha vunnit en schilling för sina esoteriska forskningar under de vetenskapspolitiska villkor som gäller i dag.