Książka jest antologią tekstów z filozofii informatyki. Zawiera 21 podstawowych prac dotyczących następujących zagadnień: informatyka jako dyscyplina, co to jest komputer, czym jest algorytm, natura programu komputerowego, weryfikacja programów, filozofia sztucznej inteligencji, epistemologia informatyki, teza Churcha-Turinga.