„Gyakran mesélik el tárgyak történeteként a számítógépek történetét, pedig jobban érthető, ha gondolatok, főként az először a 19. században kidolgozott, homályos és kultusz-szerű matematikai logikából továbbfejlődött gondolatok történeteként fogjuk fel. A tudományterület filozófus-matematikusokhoz, leginkább George Boole-hoz és Gottlob Fregehez köthető. Leibniz álma az egyetemes fogalomnyelvről és Arisztotelész ókori logikai rendszere mindkettejükre nagy hatást gyakorolt.
A matematikai logika számítástudománnyá fejlődésében az 1930-as években megjelent két munka játszott döntő szerepet. Az egyiket Claude Shannon, a másikat Alan Turing írta. Shannon és Turing óriások voltak, az őket megelőző filozófusok és logikai gondolkodók jelentőségéről viszont hajlamosak vagyunk megfeledkezni.