.png){kind=icon}
返回
Finding tactics in proofs
.png){kind=icon}
OA
AI
DOI：10.1007/s13160-025-00743-0.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
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.
Keyword:
PERIOD-DOUBLING CASCADES
期刊
J
IF:
1.1
论文数:
64
被引数:
0
机构
引用论文
.png){kind=icon}
分享收藏
查看更多内容