News

Grothendieck, Equality, and the Trouble with Formalising Mathematical Arguments

The article examines how mathematicians freely identify objects “up to unique isomorphism,” why this practice collapses in formal...