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