2 papers
math.AG2024
Grothendieck's use of equality
Kevin Buzzard
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 reaso…
math.HO2021
What is the point of computers? A question for pure mathematicians
Kevin Buzzard
We discuss the idea that computers might soon help mathematicians to prove theorems in areas where they have not previously been useful. Furthermore we argue that these same comput…