As duas filosofias exatas

A tecnologia está repleta de palavras, pessoas que querem expressar como tudo funciona. Mas nunca temos uma maneira de ver por nós mesmos se a tecnologia comentada existe ou não. Este livro é uma oportunidade para experimentarmos por nós mesmos a realidade do Teorema da Incompletude de Gödel, a realidade da resolução de problemas de lógica, a realidade de provar nos nossos próprios computadores como a tecnologia funciona. É por isso que se trata principalmente de um código em Python 3.x com...