2 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
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…