Un intento de aproximación a los procesos mentales que ocurren al resolver problemas matemáticos, en contraste con los razonamientos que se exponen en las demostraciones para convencer a la comunidad de que las soluciones encontradas son verdaderas.