Grothendieck's use of equality

2024/05/16 by Kevin Buzzard, Buzzard, Kevin · 3 voices
#math.AG #math.NT

paper · pdf · doi:10.48550/arxiv.2405.10387

Abstract

We discuss how the concept of equality is used by mathematicians (including Grothendieck), and what effect this has when trying to formalise mathematics. We challenge various reasonable-sounding slogans about equality.

Discussions

• Grothendieck’s use of equality [hn, 178 points, 129 comments]
• Grothendieck's use of equality [lobsters, 3 points, 1 comments]
• Grothendieck’s use of equality (arxiv.org) Main Link | Discussion [bsky, 0 points, 0 comments]

Related

• From Parseval to Grothendieck and a little beyond, part I
• On merit and equity in math
• La variable complexe dans la premiere decennie de l'oeuvre grothendieckienne
• Naive Philosophical Foundations
• My view on and experience with Grothendieck's anabelian geometry