Costruttivismo matematico: differenze tra le versioni

Questi punti di vista sono stati espressi con forza da [[David Hilbert]] nel [[1928]], quando nei <cite>[[Die Grundlagen der Mathematik]]</cite> ha scritto "Eliminare il principio del terzo escluso per il matematico sarebbe lo stesso che, per così dire, vietare l'uso del telescopio all'astronomo o l'uso dei pugni al pugilatore". (Traduzione dalla voce [http://plato.stanford.edu/entries/mathematics-constructive/ mathematics-constructive] della [[Stanford Encyclopedia of Philosophy]].) In effetti la [[legge del terzo escluso]] non è valida nella [[logica costruttivista]].