Terminei agora de baixar o Concrete Mathematics do Knuth (e Graham e Patashnik). O primeiro exemplo do livro é justamente o problema que passei pro Paulo, a Torre de Hanói. Acabei perdendo boa parte da minha tarde "folheando" com o mouse, quando devia estar atacando a horned sphere...
Abaixo, uma citação relevante, muito relevante. (mesmo) Encontrei-a no Concrete Mathematics:

"The advanced reader who skips parts that are too elementary may miss more than the less advanced reader who skips parts that appear too complex"
- G. Polya


(quanta coisa em itálico, céus) 
[14:20]