Czy możliwa jest sztuczna inteligencja? Jedni powiadają „Już istnieje!”. „Nigdy jej nie stworzymy!” – odpowiadają inni. Zastanawiając się nad bardziej wyważoną odpowiedzią, badacze zazwyczaj analizują to, czym jest inteligencja, pozostawiając na boku zagadnienie tego, w jaki sposób miałaby być ona zrealizowana.

Tymczasem 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ść.