Construtivismo (matemática)
negação da validade do axioma da escolha / De Wikipedia, a enciclopédia encyclopedia
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.
Este artigo ou secção contém uma lista de referências no fim do texto, mas as suas fontes não são claras porque não são citadas no corpo do artigo, o que compromete a confiabilidade das informações. (Abril de 2013) |
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 Shanin, e o programa de análise construtiva. de Markov e Bishop. O Construtivismo também inclui o estudo da teoria dos conjuntos construtivos como IZF e o estudo da teoria dos topos.
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.