Grothendieck's use of equality
Algebraic Geometry
2024-05-20 v1 Number Theory
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.
Keywords
Cite
@article{arxiv.2405.10387,
title = {Grothendieck's use of equality},
author = {Kevin Buzzard},
journal= {arXiv preprint arXiv:2405.10387},
year = {2024}
}
Comments
Write-up of my talk given at the conference "Grothendieck, a Multifarious Giant: Mathematics, Logic and Philosophy" at Chapman University