Jos kysymyksen esittäjällä on taskussaan puhelin tai kädessään tabletti tms., sanon: Sinulla ei olisi tuota, eikä meillä tätä informaatioyhteiskuntaa, jos Kurt Gödel ja kumppanit eivät olisi 20- ja 30-luvuilla miettineet ankarasti logiikan ja aritmetiikan perusteiden kysymyksiä. Näistä pohdinnoista syntyivät formaalisen kielen ja laskennan käsitteet ja teoriat, niistä taas ohjelmointikielet ja algoritminen laskenta.

Toinen maailmansota pakotti Alan Turingin ja Johann von Neumannin kehittämään tahoillaan näistä ideoista ohjelmoitavan tietokoneen, yksi saksalaisten sukellusveneiden salakoodin avaamiseksi, toinen atomipommin räjähdyksen numeerista laskentaa varten. Siinä oli perustutkimuksen "yhteiskunnallista relevanssia," mutta Gödel ja kumppanit eivät kyllä nykyisillä tiedepoliittisilla kriteereillä olisi saaneet killinkiäkään esoteerisiin tutkimuksiinsa!