آلن هافمن (ریاضی‌دان)