Dwie dokladne filozofie

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