¿Es la matemática un idioma?

La matemática (o notación matemática según la respuesta de Jesse Tov a ¿Es la matemática un idioma?) Es un lenguaje formal , pero no un lenguaje natural .

Un lenguaje natural es, por definición, un sistema lingüístico utilizado para la comunicación que evoluciona desde la inmersión de los niños en una comunidad de habla. Esto incluye el lenguaje hablado y el lenguaje de señas. El esperanto no era un lenguaje natural hasta que los niños se criaron para hablarlo y había una comunidad de personas que se hablaban entre sí. Esto es lo que la mayoría de las personas quieren decir cuando usan el término lenguaje.

Un lenguaje formal es un conjunto ordenado de cadenas y símbolos que denotan algún significado, en el que los símbolos deben adherirse a algún conjunto de restricciones de buena formación. Esta es la definición CS / lógica de un lenguaje .

La matemática es una filosofía, todavía necesitas un lenguaje para explicarla.

Una visión de las matemáticas es que tiene dos lados: hay una notación matemática y hay derivaciones.

La notación matemática tiene muchas cualidades en común con los lenguajes naturales. Tiene símbolos, a menudo una estructura recursiva y partes del discurso, y reglas gramaticales para combinar las partes. Por lo general, es de estructura lineal, incluso cuando puede no parecerlo al principio. (Hay excepciones, los diagramas de cadena [1] pueden reescribirse en forma lineal, pero eso no les hace justicia).

Pero hay otro lado: las reglas de derivación. Si me dicen que x> y e y> z hay reglas que me permiten, por ejemplo, deducir x> z. El lenguaje natural tiene algunas reglas formales (o semiformales) un poco como esta, por ejemplo, si digo que John golpeó a Mary, puedo deducir que Mary fue golpeada. Pero este tipo de reglas no son realmente de qué se tratan los idiomas. No digo lo que voy a decir a continuación aplicando reglas formales a las cosas que la gente me decía anteriormente. (Algo sucede en mi cabeza que resulta en mis expresiones, pero no sé nada sobre cómo funciona).

Cuando las personas aprenden matemáticas, solo pasan una pequeña parte aprendiendo la gramática de la notación en comparación con las reglas de derivación. Llamar a las matemáticas un idioma no enfatiza el lado de derivación de las cosas, así que creo que es engañoso llamar a ‘matemáticas’ en lugar de ‘notación matemática’ un idioma.

[1] Diagrama de cuerda