Formalisme (matemàtiques)
matemàtiques / From Wikipedia, the free encyclopedia
El formalisme en filosofia de les matemàtiques, és una teoria que defensa que les proposicions matemàtiques (i lògiques) es poden entendre com el resultat de la manipulació de cadenes de símbols sota unes estrictes normes sintàctiques de transformació.