Opis
Antologia tekstów z filozofii informatyki. Zawiera dwadzieścia jeden 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.