Rehumanizing mathematics