祝贺刘嘉忆。

祝贺刘嘉忆。

所有跟贴·加跟贴·新语丝读书论坛

送交者: sssa 于 2011-10-09, 10:59:10:

回答: 大三生攻克国际数学难题由 www 于 2011-10-09, 07:36:54:

不管新闻报道的水分多大，对小刘来说，是个了不起的事。祝贺刘嘉忆。

本人对数理逻辑/符号逻辑/形式逻辑不陌生。本人敢肯定的说, 小刘在数理逻辑, 符号逻辑, 形式逻辑对在现在也还没入门。
形式逻辑方法的应用，在未来10/20年可能会“革命性”的改变现在的软/硬件设计方法。但是搞"纯"研究的人大概不会在其中唱主角。小刘要想成功，最好的的路是进Microsoft or Intel作这方面的研究。

就事论事，你的短短的贴子充满了逻辑错误。 - 淼水 (513 bytes) 2011-10-09, 12:03:50 (623078)
- because math people sometimes forget what is math - sssa (240 bytes) 2011-10-09, 22:46:31 (623131)
- TA连这个都问是不是真的呢，好搞～～ - 伊犁 (726 bytes) 2011-10-09, 20:18:51 (623098)
  - 笑～～ (无内容) - 伊犁 (0 bytes) 2011-10-09, 20:19:42 (623099)
    - 笑～～ - TIDan (158 bytes) 2011-10-09, 21:22:42 (623112)