Matemáticas de verdad

Las matemáticas de verdad son un enfoque a las matemáticas puras que se vinculan con el propósito original de las matemáticas, y se alejan de cualquier conocimiento relacionado con la percepción humana de la realidad, y estudian las matemáticas per se.

Matemáticas de verdad es de hecho movimiento que defiende distanciarse de cualquier otro propósito alejado del original, que viene para modificar las matemáticas para el bien de otras ciencias.

Las matemáticas de verdad defienden el formalismo frente al intuicionismo.

Referencias