La crisis fundacional de la matemtica

(llamada originalmente en alemn: Grundlagenkrise der Mathematik) fue un trmino acuado a

principios del siglo XX para referirse a la situacin terica que llev a una investigacin
sistemtica y profundamente de los fundamentos de la matemtica, y que acab inaugurando
una nueva rama de la matemtica.
Numerosas escuelas filosficas matemticas incurrieron en dificultades una tras otra, a
medida que la asuncin de que los fundamentos de la matemtica podan ser justificados de
manera consistentes dentro de la propia matemtica fue puesta en duda por el descubrimiento
de varias paradojas (entre ellas la clebre paradoja de Russell).
El trmino "paradoja" no debe ser confundido con el trmino contradiccin.
Una contradiccin dentro de una teora formal es una demostracin formal de la existencia de
un absurdo como resultado de un conjunto de asunciones inapropiadas (tales como 2 + 2 = 5),
un conjunto de axiomas o teora que da lugar a una contradiccin se clasifica
deinconsistente y debe ser rechazada como teora til (ya que en ella cualquier proposicin
acabara siendo demostrable). Sin embargo, una paradoja puede referirse o bien a un
resultado contraintuitivo pero verdadero, o a un argumento informal que lleva a una
contradiccin, as que una teora candidata donde se atente la formalizacin de un argumento
debe inhabilitar al menos uno de sus pasos; en este caso el problema es encontrar una teora
satisfactoria sin contradicciones. Ambos significados pueden aplicar si la versin formalizada
del argumento forma la prueba de una verdad sorprendente. Por ejemplo, la paradoja de
Russell puede ser expresada como "no hay un conjunto que contenga a todos los conjuntos"
(exceptuando algunas teoras axiomticas marginales).
Algunas escuelas de pensamiento al buscar acercarse al enfoque correcto a los fundamentos
de la matemtica se oponan ferozmente entre si. La escuela liderante era la escuela de
enfoque formalista, de la cual, David Hilbert era el proponente principal, culminando con lo que
se conoce como Programa de Hilbert, quien pensaba en fundamentar la matemtica en una
pequea base de un sistema lgico sondeado en trminos del finitismo metamatemtico. El
oponente principal era la escuela del intuicionismo, liderada por L. E. J. Brouwer, quien
resueltamente descart el formalismo como un juego futil con smbolos (van Dalen, 2008). La
pelea fue acrimoniosa. En 1920 Hilbert triunf en sacar a Brouwer, a quien l consideraba una
amenaza a la matemtica, removindolo del tabln editorial del Mathematische Annalen, la
revista lder en matemticas en aquella poca.