In una vulgata abbastanza comune, si sostiene una derivazione diretta dell'informatica dai lavori teorici di Turing ed altri sulla calcolabilità; e si ritiene che vi sia stata un'influenza significativa della logica matematica sul progetto dei linguaggi di programmazione ad alto livello negli anni '60. Argomenterò come si tratti di una ricostruzione per molti versi fallace: pur con le dovute eccezioni degli "early giants", la "teoria matematica della computazione" per i linguaggi di programmazione è una creazione degli anni '60, che contribuisce alla costituzione dell'"informatica" come disciplina scientifica accademica. Esemplificherò alcuni dei rapporti tra logica matematica e progetto dei linguaggi di programmazione attraverso la nozione di "tipo di dato", che sembra avere un ovvio corrispettivo nel concetto di "tipo" della logica matematica.