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鏀 mesmos se a tecnologia comentada existe ou n緌. Este livro ?uma oportunidade para experimentarmos por n鏀 mesmos a realidade do Teorema da Incompletude de G鐰el, a realidade da resolu誽o de problemas de l鏬ica, a realidade de provar nos nossos pr鏕rios computadores como a tecnologia funciona. ?por isso que se trata principalmente de um c鏚igo em Python 3.x comentado. Trata-se, simplesmente, de uma configura誽o ordenada de problemas l鏬icos para os resolver ou obter a sua melhor aproxima誽o num tempo limitado.