arXiv Analytics

Sign in

arXiv:2405.10387 [math.AG]AbstractReferencesReviewsResources

Grothendieck's use of equality

Kevin Buzzard

Published 2024-05-16Version 1

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.

Comments: Write-up of my talk given at the conference "Grothendieck, a Multifarious Giant: Mathematics, Logic and Philosophy" at Chapman University
Categories: math.AG, math.NT
Subjects: 03A05, 14A99, 11R37, 11R39
Related articles: Most relevant | Search more
arXiv:2105.08799 [math.AG] (Published 2021-05-18)
The notion of space in Grothendieck: from schemes to a geometry of forms
arXiv:1911.05509 [math.AG] (Published 2019-11-13)
Le problème de la schématisation de Grothendieck revisité
arXiv:0911.3309 [math.AG] (Published 2009-11-17, updated 2009-11-24)
Notes on the section conjecture of Grothendieck

Links

Toolbox