Constructive analysis

a historical misrepresentation has been perpetuated that associates diagonalization with non-constructivity