liu6's blog

在solidot看到了这篇文章。引起我兴趣的就是Mathematica这个词。这款数学软件，自己其实并没有怎么使用过，在学校的实验室里面稍微用过一点。记得郑立飞老师对这个软件相当精通。不过其在符号计算方面还想相当的强大的。记忆很深刻的就是可以直接按照书写的习惯来输入算式，然后计算。那是相当的强大的。不过相对而言自己还是喜欢MATLAB多一些。:)

Stephen Wolfram，是知名数学软件Mathematica创始人，同时也是为闭门造车的天才。他提出过许多猜想，其中最著名当属元细胞自动机了。现在MIT的勘误专家Evangelos Georgiadis已经证明他在《一种新科学（A New Kind of Science）》中提到的44个猜想为错误。论文发表在最新一期的Cellular Automata杂志上，Edwin Clark教授提供了一个PDF格式版本供参考。

没有想到Wolfram这么强悍，其实这也没有什么的。能够去猜想才是最重要的，中国缺少的就是这样的人，国人善于去证明一个猜想。但是提出的却是很少。

圣诞节也不想写些什么了，最近挺忙的。为了元旦去开封，最近一直在赶工。努力啦！祝大家圣诞快乐！

从中文HowTO那里看到了这篇文章，哎，自己这段时间的减肥算是彻底的失败了。原因一直不太清楚是为什么，这下就明了了。

1. 不按时吃饭 ×
2. 不吃早餐×
3. 吃得太快×
4. 饮水不足×
5. 吃大餐（这个到没有）
6. 糖和咖啡因（这个也没有）

六条犯了四条，其实这四条以前都不是太了解，以后应该注意一下了。别饿了自己还胖了。那样就太失败了。

至于其中的原因，可以在这里面查看。