Las matemáticas formales que ves en las matemáticas escritas son su forma final. Las definiciones y los teoremas están escritos en palabras y símbolos. Pero hay un proceso que lleva a que involucre cosas además de palabras y símbolos.
Algo de eso es visual. Si se trata de geometría, los diagramas geométricos ayudan a explicar lo que está sucediendo y lo que se debe mostrar. Si el álgebra está involucrado, entonces se escriben las ecuaciones y las fórmulas, y éstas se simplifican y, por lo demás, se manipulan según la experiencia. Si está involucrada la teoría de gráficos o la teoría de nudos, puede ser útil dibujar partes de gráficos o nudos.
Los matemáticos usan analogías para tener una idea de lo que podría ser verdad. Esta es una forma de intuición. Cuando se investiga una situación, se compara con situaciones similares conocidas. Si la analogía es fuerte, entonces los resultados de la situación conocida pueden transferirse.
Se utilizan ejemplos y contraejemplos para investigar conceptos. Es posible que pueda sacar conclusiones generales de los ejemplos. Un contraejemplo muestra los límites de hasta dónde se extiende el concepto.
- ¿Es correcto decir que las matemáticas son, con mucho, el dominio más “abstracto” del conocimiento humano?
- ¿Existen realmente las formas platónicas?
- ¿Fue Peter Kropotkin un socialista?
- ¿Qué filósofo es más fácil de escribir proyecto sobre filosofía contemporánea?
- ¿Cuál es la diferencia entre el determinismo suave y el compatibilismo?
Geometría algebraica estudia curvas algebraicas de alta dimensión. Es muy difícil visualizar cualquier cosa por encima de 3 dimensiones, pero ejemplos específicos ilustran conceptos generales. Por ejemplo, el concepto de “explotar una singularidad” es importante en la geometría algebraica. Para ver lo que significa, un ejemplo de baja dimensión ayuda mucho. En la siguiente figura, hay una curva en el plano que se cruza en un punto, la singularidad. Sobre ella hay una curva verde en 3 espacios que no tiene singularidades. La curva verde se proyecta hasta la curva planar original. (La proyección se denota [math] \ pi [/ math] en el diagrama que no tiene nada que ver con el número [math] \ pi [/ math].) La inversión de esa proyección “hace saltar” la singularidad.