Какой математик, член-корреспондент Академии наук, был одним из основоположников советского альпинизма?