Hilbert's formalist approach prevailing over intuitionism demonstrates that mathematical practice cannot be confined to phenomenological givens

In Weyl’s eyes, Hilbert’s approach embodied the “symbolic representation of the transcendent, which demands to be satisfied”, and so he regarded its emergence as a natural development. But by 1927 Weyl saw Hilbert’s doctrine as beginning to prevail over intuitionism, and in this an adumbration of “a decisive defeat of the philosophical attitude of pure phenomenology, which thus proves to be insufficient for the understanding of creative science even in the area of cognition that is most p