Technologia jest pelna slów, ludzi, którzy chc? wyrazic, jak wszystko dziala. Ale nigdy nie mamy mo?liwo?ci sprawdzenia, czy opisywana technologia istnieje, czy nie. Ta ksi??ka jest okazj? do samodzielnego eksperymentowania z rzeczywisto?ci? twierdzenia o niekompletno?ci Gödla, rzeczywisto?ci? rozwi?zywania problemów logicznych, rzeczywisto?ci? udowadniania na naszych wlasnych komputerach, jak dziala technologia. Dlatego te? jest to glównie kod w j?zyku Python 3.x z komentarzami. Jest to po prostu uporz?dkowana konfiguracja problemów logicznych, aby je rozwi?zac lub uzyskac ich najlepsze przybli?enie w ograniczonym czasie.