||
按: 下文选自发到学院群的贴子(重点在末尾)。
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 LTxX B|t|\/A TxX Λ注:“执行定理”的主力之一。李毅伟 23:28️ 临时温习:厂公之争。A LTxX B|Λ注:“执行定理”的主力之二。
2019-8-27 李毅伟 9:13️ 什么是“执行定理”?在‘证猜想’类型的文章中,各定理有不同的分工。“主定理”就是要证的猜想,它是缘起。而万有套路告诉人们,一定要有个“枢纽定理”(见引用),它负责联系主定理和副定理。枢纽定理与主定理有相同的结论,但条件不同;副定理刚好相反,它与主定理有相同的条件,但结论不同。而所谓“执行定理”,是用来证明副定理的。能证出猜想,必然要有高超的绝技,可称作“技术定理”,它一定是执行定理的关键部分。
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-9-27 09:55
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社