A proposta central explora como processos de pensamento podem ser modelados como procedimentos computacionais, com ênfase em representação e raciocínio.

O autor apresenta análise de casos e modelos formais que ilustram limites e possibilidades de simular o raciocínio humano.

Leitura orientada para compreender relações entre representação simbólica, algoritmos e problemas clássicos em computação; exemplos práticos acompanham reflexões teóricas.