Enriques, Severi, l'Enciclopedia Italiana e le istituzioni culturali