Não é como provar teoremas difíceis em topologia algébrica ou coisa parecida.

Um deles referia-se à questão de saber se seria possível encontrar um procedimento geral para provar teoremas matemáticos.

A fórmula recursiva é mestra em analisar problemas que exibem uma inerente explosão combinatória, que vai dos jogos de tabuleiro a provar teoremas matemáticos.

Ele não conhecia o trabalho de Gauss, mas havia provado teoremas similares usando seus próprios métodos.

Ele estuda geometria não provando teoremas, mas calculando em que ângulo a escada deve ser colocada para alcançar as cerejas na árvore.