| Profiel van 番茄匠番茄匠Foto'sWeblogLijsten |  Extra  Help |
|
2/01/2008 418党第二次代表大会 自举世瞩目的第一届会议举办后，大会于昨天22:30-2:00再次在党的诞生地召开。 本次会议分两段。 上半段（22:30-23:00）除了充分肯定了第一届会议取得的成果，重点讨论了oy-lm命题的证明情况。众所周知，前不久oy同志取得了该命题的突破性进展，他终于证明了二次项系数不等于零时的非trivial情况。然而命题的可判定性问题至今仍未被解决。上届会议上提出重要贡献的小叶专家此次又发表了新的观点。他认为，要在该命题上有所突破，需要在证明时采用更大胆、主动的证明方法。另外值得一提的是，猪逻辑公园和panjf送来了值得借鉴的宝贵经验。 在上半段会议结束后，休会了45分钟。在此期间，与会学者们纷纷发表评论，认为oy-lm命题将会是21世纪7大和谐难题中有可能被最先解决的一个。休会过程中，由于部分重要与会者私下开小会，导致原本计划5分钟的休会拖延了40分钟。 |
|
|
