Idea fascinante! Sin embargo, sospecho que Justin Rising tiene toda la razón: traducir “todas las nociones” que aprendas en matemáticas al FOL y la teoría de conjuntos sería una tarea muy desalentadora, y para fines académicos como un estudiante universitario, una exageración grave.
Desde la geometría del noveno grado, he estado encantado con la ‘prueba’: ¿cómo se adquieren y expresan las pruebas de las cosas, y lo más importante, cómo se justifican?
Mientras cursaba mis propios estudios de licenciatura en matemáticas principales en álgebra moderna y teoría de números, trabajé en una segunda especialización en filosofía, centrándome tanto como pude en la lógica formal. Cada vez que estaba atascado probando un teorema en las clases de matemáticas que estaba tomando, una estrategia que usé fue traducir el problema a FOL o establecer la teoría para ver si eso podría exponer una serie de pasos de prueba que luego podría volver a traducir en una prueba matemática .
Usando una metáfora del béisbol, diría que mi promedio de bateo con esa estrategia estaba en el rango de .275 – .300. Así que para mí fue útil, pero ciertamente no fue la panacea para superar siempre el desafío en cualquier problema de prueba.