RUME 27
2025
Alexandria, Virginia
Identifying Pedagogical Proof Moves
Page: 1270
Drawing on the concept of “moves” from English for Specific Purposes (ESP) genre theory, we identified pedagogical proof moves—moves proof authors make for pedagogical purposes—in a corpus of 40 abstract algebra proofs. We share 12 such pedagogical proof moves, presenting three in greater detail.