É muito difícil!!

Eu falei que ia fazer um programa de computador que prova teoremas. É muito difícil fazer isso. É possível mas dá muito trabalho. Não sei quanto tempo vou levar. Pra quem gostaria de ver um desses, entre no site http://www.metamath.org
Especialmente difícil é fazer substituição de uma variável numa fórmula. Enfim, quando tiver pronto, eu devo pôr o algoritmo aqui, deve ficar bem grande.
Se eu tivesse um pouco mais organizado com os estudos estaria postando mais.
Por enquanmto é só fase de testes mesmo.
Então se poucos estão lendo, sem muitos problemas... Mas só por enquanto...