vim's notes
关于本站
文章推荐
vim小杂烩
vim小思想
分类·归档
IT资源
AI资源
联系vim
关于本站
文章推荐
vim小杂烩
vim小思想
分类·归档
IT资源
AI资源
联系vim
如何证明一个数学猜想++
从主要
问题
X中分离出一个简单特例x.
用
方法
A解决特例x.
试图用
方法
A解决主要
问题
X.
失败，但是我们发现了
方法
A还能解决X的更多特例x', x''.
我们最终发现，
方法
A可行的核心前提是性质P, x, x', x''都具有性质P
从主要
问题
X中分离出一个简单特例x.
用
方法
A解决特例x.
试图用
方法
A解决主要
问题
X.
失败，但是我们发现了
方法
A还能解决X的更多特例x', x''.
我们最终发现，
方法
A可行的核心前提是性质P, x, x', x''都具有[性质P]