La crisis de fundamentación de la matemática y la opción del programa formalista de Hilbert.

Dos hecho fundamentales harán que surja la teoría formalista: 1õ. Surge a principios del siglo XIX teorías no euclídeas y 2õ. Teorías de conjuntos y crisis de fundamentos de finales del siglo XIX. Simutalneamente el problema de la fundamentación de la matemática daba lugar a las distintas escuelas que iban a adoptar diferentes tratamientos: la escuela logicista defendida por Bernard Russel; la escuela intuicionista al frente de la que estaba Brouwer; y la escuela formalista encabezada por Hilbert. El programa de la última buscará una demostración consistente para un cálculo formal axiomatizado. Hilbert introduce una sutil diferencia entre la teoría matemática, constituida por todas las fórmulas de la matemática intuitiva y la metamatemática que tiene por objeto el estudio de la misma matemática y que estará formada por todas las proposiciones que se pueden hacer a partir de las fórmulas matemáticas. Así, pues en síntesis en primer lugar una teoría matemática de carácter informal como por ejemplo la aritmétic; después un sistema formal del cual la aritmética sería una interpretación y; en tercer lugar, el estudio del sistema formal y de sus propiedades estructurales que recibe el nombre de metamatemática, en donde el lenguaje y el racionamiento vuelven a tener un carácter informal. La idea básica de Hilbert consiste en estudiar y analizar el sistema formal hasta que se pueda poner de relieve la imposibilidad de una contradicción para la aritmética clásica. En 1931 se puso de manifiesto la imposibilidad de demostrar la consistencia de un sistema formal suficientemente amplio para contener toda la aritmética. Dicha demostración iba a suponer la renuncia del objetivo fundamental del programa de Hilbert. A pesar de la pérdida del objetivo básico de su programa (de Hilbert), el estudio de los sistemas formales proporcionó importantes conocimientos de la lógica formal y abrió nuevas perspectivas de estudio. La aparicición y desarrollo del formalismo, como estilo y método de trabajo para la matemática ha dado sus frutos en el terreno de la fundamentación donde propiamente había nacido y es pertinente situar su principal aportación que es darles métodos para analizar sus estructuras y sus nociones fundamentales con el fin de precisar su claridad, etcétera. El papel social constructivo que la matemática jugó en la edificación del capitalismo comercial e industrial fue esencialmente lo que hizo que se fomentara su estudio, aunque tuviera que adoptar formas cada vez más abstractas para llegar a planos más profundos de la realidad.