How to write a 21st century proof

被引：34
|
作者：
Lamport, Leslie [1 ]
机构：
[1] Microsoft Corp, Mountain View, CA 94043 USA
来源：
JOURNAL OF FIXED POINT THEORY AND APPLICATIONS | 2012年 / 11卷 / 01期
关键词：
Structured proofs; teaching proofs;
D O I：
10.1007/s11784-012-0071-6
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
A method of writing proofs is described that makes it harder to prove things that are not true. The method, based on hierarchical structuring, is simple and practical. The author's twenty years of experience writing such proofs is discussed.
引用
收藏
页码：43 / 63
页数：21
相关论文
共 50 条
12345