Czy możliwa jest sztuczna inteligencja? Jedni powiadają „Już istnieje!”. „Nigdy jej nie stworzymy!” – odpowiadają inni. Od prawie wieku istnieje i rozwija się teoria wyznaczająca możliwości i ograniczenia komputerów. O jej kontekście historycznym, podstawowych twierdzeniach i granicach jej zastosowań w przystępny, lecz nie powierzchowny sposób traktuje Nieobliczalna obliczalność.