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