Year: 2025
Type: article
Abstract: This is a note about writing and appreciating proofs by examining their middle level between strategy and specific details in order to discern “tactics”, i.e., key ideas or methods that might appear in many proofs. Doing so may help the intuition of the author or reader, or it may lend itself to new applications of a tactic from a proof. Explicitly pointing out tactics should produce more illuminating and memorable proofs. A core illustrative tactic is connected to broad research in topology and dynamics, the tactic of “following curves”, and we end with examples suitable for direct adoption in an undergraduate analysis course.
Authors: Boris Hasselblatt, James Yorke
Institutions: Tufts University, University of Maryland, College Park
Language: English
Subfield: Theoretical Computer Science
Field: Mathematics
Domain: Physical Sciences
Open Access status: hybrid
Estimated APC paid: $3,090
OpenAlex ID: W4415536840