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 条

[21] How Many Species Will Survive the 21st Century?
Raven, P. H.
PLANTA MEDICA, 2013, 79 (10) : 810 - 810
[22] How's your 21st century going?
Hodson, TL
CHEMICAL PROCESSING, 2001, 64 (06): : 4 - +
[23] How Will We Understand Prevention in the 21st Century?
Thomas P. Gullotta
Journal of Primary Prevention, 2000, 21 (2) : 145 - 146
[24] How can Europe compete in the 21st century?
Johannessen, J
Olaisen, J
Olsen, B
INTERNATIONAL JOURNAL OF INFORMATION MANAGEMENT, 1999, 19 (04) : 263 - 275
[25] Through the 21st century: how much nuclear?
Kidd, S
NUCLEAR ENGINEERING INTERNATIONAL, 2005, 50 (611): : 6 - 7
[26] Outsourcing: how to reform WHO for the 21st century
Negin, Joel
Dhillon, Ranu S.
BMJ GLOBAL HEALTH, 2016, 1 (02):
[27] How can a Book be banned in the 21st Century?
Marcinovic, Viktar
LITERATUR UND KRITIK, 2013, (471): : 52 - 56
[28] HOW TO BE AN ANTI-CAPITALIST FOR THE 21ST CENTURY
Wright, Erik Olin
JOURNAL OF AUSTRALIAN POLITICAL ECONOMY, 2016, (77): : 5 - 22
[29] How to succeed as a leader & manager in the 21st century
Wilkinson, I
CLINICAL CHEMISTRY, 1999, 45 (06) : S18 - S18
[30] Students with disabilities: How ready are they for the 21st century?
Ochs, LA
Roessler, RT
REHABILITATION COUNSELING BULLETIN, 2001, 44 (03) : 170 - 176

← 1 2 3 4 5 →