construtivismo

Na filosofia da matemática, o construtivismo afirma que é preciso encontrar (ou "construir") um objeto matemático para provar que ele existe. Quando se assume que um objeto não existe e deriva uma contradição dessa suposição, ainda não encontrou-se o objeto e, portanto, não é provada a sua existência, de acordo com o construtivismo. Este ponto de vista envolve uma interpretação verificacional do quantificador de existência, o que está em desacordo com a sua interpretação clássica. Há muitas formas de construtivismo. Estes incluem o programa de intuicionismo fundado por Brouwer, o finitismo de Hilbert e Bernays, a matemática recursiva construtiva de , e o programa de de e Bishop. O Construtivismo também inclui o estudo da como e o estudo da . O Construtivismo é frequentemente identificado com o intuicionismo, embora intuicionismo seja apenas um programa construtivista. O intuicionismo sustenta que os fundamentos da matemática residem na intuição do matemático, tornando a matemática em uma atividade intrinsecamente subjetiva. Outras formas de construtivismo não se baseiam nesse ponto de vista da intuição, e são compatíveis com um ponto de vista objetivo em matemática.