我算故我在分享 http://blog.sciencenet.cn/u/metanb

博文

万有套路与执行定理

已有 675 次阅读 2019-8-27 10:50 |个人分类:心路里程|系统分类:科研笔记

 

按: 下文选自发到学院群的贴子(重点在末尾)。

 

2019-8-25
李毅伟  3:02
️️临时感悟:万有套路。 设有猜想 P:A ⇒ B。为做出证明,须做出“枢纽定理” Q :C ⇒ B,使得 A ⇒ C。

2019-8-26
李毅伟  1:39
️ 临时温习:帝国的早晨。 
A        M 
X        B 
注:上图是执行定理的图解。
李毅伟  15:40
️ 临时温习:机甲大战。 
A         L 
    Tx 
X        B|t 
     | 
    \/ 
A        T 
     x 
X        Λ 
注:“执行定理”的主力之一。
李毅伟  23:28
️ 临时温习:厂公之争。 
A         L 
     Tx 
X      B|Λ 
注:“执行定理”的主力之二。

2019-8-27
李毅伟  9:13
️ 什么是“执行定理”?在‘证猜想’类型的文章中,各定理有不同的分工。“主定理”就是要证的猜想,它是缘起。而万有套路告诉人们,一定要有个“枢纽定理”(见引用),它负责联系主定理和副定理。枢纽定理与主定理有相同的结论,但条件不同;副定理刚好相反,它与主定理有相同的条件,但结论不同。而所谓“执行定理”,是用来证明副定理的。能证出猜想,必然要有高超的绝技,可称作“技术定理”,它一定是执行定理的关键部分。


http://blog.sciencenet.cn/blog-315774-1195417.html

上一篇:“执行定理”的顶层结构
下一篇:“执行定理”的证明(a)

3 郑永军 张忆文 刘炜

该博文允许注册用户评论 请点击登录 评论 (2 个评论)

数据加载中...

Archiver|手机版|科学网 ( 京ICP备14006957 )

GMT+8, 2019-10-24 10:26

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部