Formalismo matemático

Carta Común · N.º 393802

En fundamentos de las matemáticas, filosofía de las matemáticas y filosofía de la lógica, el formalismo matemático es una teoría que sostiene que las proposiciones de las matemáticas y la lógica pueden considerarse como declaraciones sobre las consecuencias de ciertas reglas de manipulación de símbolos o términos o cadena de caracteres.​​ Por ejemplo, la geometría euclidiana puede ser visto como un juego de lenguaje cuyo objetivo consiste en mover ciertas cadenas de símbolos (llamados axiomas) de acuerdo con un conjunto de reglas llamadas reglas de inferencia para generar nuevas cadenas. En este juego se puede demostrar o probar que el teorema de Pitágoras es válido porque la cadena que representa el teorema de Pitágoras se puede construir usando sólo las reglas establecidas. De acuerdo con el formalismo, las "verdades" expresadas en la lógica y las matemáticas no son acerca de los números, series, o triángulos o cualquier otra materia específica — de hecho, no son "sobre" nada en absoluto…

Leer en Wikipedia