Get the latest tech news
Grothendieck’s use of equality
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.
View a PDF of the paper titled Grothendieck's use of equality, by Kevin Buzzard View PDFHTML (experimental) Abstract:We discuss how the concept of equality is used by mathematicians (including Grothendieck), and what effect this has when trying to formalise mathematics. From: Kevin Buzzard [ view email][v1] Thu, 16 May 2024 18:32:19 UTC (36 KB)
Or read this on Hacker News
