2 citations · 2 across the 3 of their papers we have counts for
4 papers
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…
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…
Stably uniform affinoids are sheafy
Kevin Buzzard, Alain Verberkmoes
We develop some of the foundations of affinoid pre-adic spaces without Noetherian or finiteness hypotheses. We give some explicit examples of non-adic affinoid pre-adic spaces (inc…
Playing simple loony dots and boxes endgames optimally
Kevin Buzzard, Michael Ciere
We explain a highly efficient algorithm for playing the simplest type of dots and boxes endgame optimally (by which we mean "in such a way so as to maximise the number of boxes tha…