Constructivismo (matemática)

Carta Común · N.º 452192

En filosofía de las matemáticas, el constructivismo o escuela constructivista requiere para la prueba de la existencia de un objeto matemático, que este pueda ser encontrado o «construido». Para esta escuela no es suficiente la prueba por contradicción clásica (reducción al absurdo) que consiste en suponer que un objeto X no existe y partiendo de esta premisa derivar una contradicción. Según los constructivistas tal procedimiento no permite encontrar el objeto estudiado y en consecuencia su existencia no está realmente probada. La posición opuesta se denomina platonismo matemático. Se confunde frecuentemente el constructivismo con el intuicionismo cuando en realidad este último no es sino un tipo de constructivismo. Para el intuicionismo, las bases fundamentales de las matemáticas se encuentran en lo que denominan la intuición matemática, haciendo en consecuencia de esta una actividad instrínsecamente subjetiva. El constructivismo no adopta en general dicha postura y es completamente compatible…

Leer en Wikipedia