Nieobliczalna obliczalność

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