Dwie dokładne filozofie

Technologia jest pełna słów ludzi którzy chcą wyrazić jak wszystko działa. 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 własnych komputerach jak działa technologia. Dlatego też jest to głównie kod w języku Python 3.x z komentarzami. Jest to po prostu uporządkowana konfiguracja problemów logicznych aby je rozwiązać lub uzyskać ich najlepsze przybliżenie w ograniczonym czasie.