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 条
  • [31] How does myeloma present in the 21st century?
    Bielby, H.
    Luizzi, F.
    Ryan, K.
    Thachil, J.
    Tholouli, E.
    Krishna, R.
    BRITISH JOURNAL OF HAEMATOLOGY, 2015, 169 : 62 - 62
  • [32] How to Renew Transatlantic Relations in the 21st Century
    Zaborowski, Marcin
    INTERNATIONAL SPECTATOR, 2011, 46 (01): : 101 - 113
  • [33] How is the SF world that is portrayed in the 21st century?
    Ishigure, T., 1600, Japan Institute of Electronics Packaging, 4F Toranomon Sangyo Bldg. 2-29, Toranomon 1-chome, Minato-ku, Tokyo, 105-0001, Japan (16):
  • [34] How to position yourself for success in the 21st century
    Frings, CS
    CLINICAL CHEMISTRY, 1999, 45 (06) : S18 - S18
  • [35] How is Thyroid Surgery performed in the 21st Century?
    Prommegger, Rupert
    AUSTRIAN JOURNAL OF CLINICAL ENDOCRINOLOGY AND METABOLISM, 2020, 13 (04): : 189 - 191
  • [36] 21ST CENTURY
    NELSON, DJ
    MECHANICAL ENGINEERING, 1971, 93 (02) : 78 - &
  • [37] Into the 21st century
    Marschark, Marc
    JOURNAL OF DEAF STUDIES AND DEAF EDUCATION, 2007, 12 (02): : 125 - 126
  • [38] Into the 21st century
    Anon
    Paper Europe, 1999, 11 (03):
  • [39] Into the 21St century
    Carr, SV
    Delvin, D
    Hannaford, P
    Kubba, A
    McEwan, J
    O'Brien, P
    Surti, NB
    Dempster, K
    Monger, S
    Carter, R
    BRITISH JOURNAL OF FAMILY PLANNING, 1999, 25 (03): : 87 - 89
  • [40] Into the 21st century
    Holmes, Mary
    Manning, Nathan
    Wettergren, Asa
    EMOTIONS AND SOCIETY, 2019, 1 (01): : 3 - 8
12345