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 条

[41] OVERCOMING ROUTINE: A 21ST CENTURY SKILL FOR A 21ST CENTURY ECONOMY
Strunz, Ulrich
Chlupsa, Christian
INTERNATIONAL JOURNAL OF ECONOMIC SCIENCES, 2019, 8 (02): : 109 - 126
[42] Therapy of 21st Century requires evidence of the 21st Century.
不详
KARDIOLOGIA POLSKA, 2010, 68 (02)
[43] The therapy requires a 21st century of evidence of 21st century.
不详
KARDIOLOGIA POLSKA, 2009, 67 (05)
[44] Therapy of 21st century requires evidence of the 21st century.
Pozytecznej, Zyczymy
KARDIOLOGIA POLSKA, 2009, 67 (10)
[45] For Whom Do We Write? Suggestions for Getting Read in the 21st Century
Hunt, Randall J.
Schwartz, Franklin W.
GROUNDWATER, 2014, 52 (02) : 163 - 164
[46] Write about work in the 21st century. What are the political implications?
Kern, Mattihas
ZEITSCHRIFT FUR FRANZOSISCHE SPRACHE UND LITERATUR, 2019, 128 (2-3): : 241 - 247
[47] 21 Lessons for the 21st Century
Gray, Rosemary
CURRENT WRITING-TEXT AND RECEPTION IN SOUTHERN AFRICA, 2023, 35 (01) : 13 - 20
[48] 21 Lessons for the 21st Century
Zhong, Rocksheng
JOURNAL OF THE AMERICAN ACADEMY OF PSYCHIATRY AND THE LAW, 2020, 48 (02): : 282 - 283
[49] 21 Lessons for the 21st Century
Rebhun, Uzi
MIGRATION LETTERS, 2019, 16 (02) : 353 - 354
[50] 21 Technologies for the 21st century
Anon
Pipeline and Gas Journal, 2001, 228 (04):

← 1 2 3 4 5 →