[This is a guest post by Jeremy Avigad. This blog post was initially written in a different file format and converted using AI. — T.] “Mathematics underwent, in the nineteenth century, a transformation so profound that it is not too much to call it a second birth of the subject—its first birth having occurred among […]