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 comentado. Trata-se simplesmente de uma configuração ordenada de problemas lógicos para os resolver ou obter a sua melhor aproximação num tempo limitado.