what is the point of this? usually this type of comment is when there's something inscrutable in the title of a post but the title of this post is literally "Who Is Alexander Grothendieck?"; if you didn't know who he was before clicking you certainly know afterwards.