149 citations · 517 across the 29 of their papers we have counts for
Showing 2023 · math.HOShow all
2 papers · 2 filters
math.HO2023
Mathematics and the formal turn
Jeremy Avigad
Since the early twentieth century, it has been understood that mathematical definitions and proofs can be represented in formal systems systems with precise grammars and rules of u…
math.HO2023★ 14 cited
Varieties of mathematical understanding
Jeremy Avigad
This essay considers ways that recent uses of computers in mathematics challenge contemporary views on the nature of mathematical understanding. It also puts these challenges in a…