Hermann Weyl 's interest in intuitionistic logic and impredicativity appears to have resulted from contacts with Husserl . Hermann Weyl 's interest in intuitionistic logic and impredicativity appears to have resulted from his reading of Husserl .