作品相关【分卷阅读】
暴雪居然发布星际2，大大的伤了俺的心灵。所以我决定换个人生，舍起点而就17，呵呵。
现在努力存稿中。
- 1
- 人物原型，进来敬个礼！
- 答心浩兄
- 中国早期计算机发展
- 答sg103204兄
- 挂剑语录1
- 挂剑随笔2
- 挂剑随笔3
- 挂剑随笔4
- 挂剑随笔5
- 挂剑随笔6
- 认罪帖
- 预告！
- 残念！
- 晕乎乎！
- 告罪！
- 胡言乱语
- 公告！
正文【分卷阅读】
《庄子齐物论》记载：“昔者庄周梦为胡蝶，栩栩然胡蝶也。自喻适志与！不知周也。俄然觉，则蘧蘧然周也。不知周之梦为蝶与？胡蝶之梦为周与？周与胡蝶则必有分矣。此之谓物化。”
庄老先生自己一梦不要紧，可苦了后世的芸芸众生，经年累月的有意识的无意识的附庸风雅已经将这个话题嚼烂了，很得到一些超脱者或貌似超脱的人追捧。
可是套句俗话讲，他老先生这个过程符合得意忘形的一切条件。
可是白云下面是黑土，人总得过..
- 一
- 二
- 三
- 四
- 五
- 六
- 七
- 八
- 九
- 十
- 十一
- 十二
- 十三
- 十四
- 十五
- 十六
- 十七
- 十八
- 十九
- 二十
- 二十一
- 二十二
- 二十三
- 二十四
- 二十五
- 二十六
- 二十七
- 二十八
- 二十九
- 三十
- 三十一
- 三十二
- 三十三
- 三十四
- 三十五
- 三十六
- 三十七
- 三十八
- 三十九
- 四十
- 四十一
- 四十二
- 四十三
- 四十四
- 四十五
- 四十六
- 四十七
- 四十八
- 四十九
- 五十
- 五十一
- 五十二
- 五十三
- 五十四
- 五十五
- 五十六
- 五十七
- 五十八
- 五十九
- 六十
- 六十一
- 六十二
- 六十三
- 六十四
- 六十五
- 六十六
- 六十七
- 六十八
- 六十九
- 七十
- 七十一
- 七十二
- 七十三
- 七十四
- 七十五
- 七十六
- 七十七
- 七十八
- 七十九
- 八十
- 八十一
- 八十二
- 八十三
- 八十四
- 八十五
- 八十六
- 八十七
- 八十八
- 八十九
- 九十
- 九十一
- 九十二
- 九十三
- 九十四
- 九十五
- 九十六
- 九十七
- 九十八
- 九十九
- 一百
- 一百零一
- 一百零二
- 一百零三
- 一百零四
- 一百零五
- 一百零六
- 一百零七
- 一百零八
- 一百零九
- 一百一十
- 一百一十一
- 一百一十二
- 一百一十三
- 一百一十四
- 一百一十五
- 一百一十六
- 一百一十七
- 一百一十八（上）
- 一百一十八（下）
- 一百一十九
- 一百二十
- 一百二十一
- 一百二十二
- 一百二十三
- 一百二十四
- 一百二十五
- 一百二十六
- 一百二十七
- 一百二十八
- 一百二十九
- 一百三十
- 一百三十一
- 一百三十二
- 一百三十三
- 一百三十四
- 一百三十五
- 一百三十六
- 一百三十七
- 一百三十八
正文【VIP】
长久道：“数学家逻辑严谨，那些计算机程序肯定一瞧便会，要换了其他学科的人，估计到您这岁数连计算机是啥都不知道。”
文俊老人虽知这是马屁，但是还是舒服啊。
长久又道：“冒昧问一句，您是做什么研究的，我数学也学过一点。”
“定理证明。”老人脱口而出，“机器定理证明，就是把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术，你听说过没有？”
这么长的专业语言..
- 一百三十九
- 一百四十
- 一百四十一
- 一百四十二
- 一百四十三
- 一百四十四
- 一百四十五
- 一百四十六
- 一百四十七
- 一百四十八
- 一百四十九
- 一百五十
- 一百五十一
- 一百五十二
- 一百五十三
- 一百五十四
- 一百五十五
- 一百五十六
- 一百五十七
- 一百五十八
- 一百五十九
- 一百六十
- 一百六十一
- 一百六十二
- 一百六十三
- 一百六十四
- 一百六十五
- 一百六十六
- 一百六十七
- 一百六十八
- 一百六十九
- 一百七十
- 一百七十一
- 一百七十二
- 一百七十三
- 一百七十四
- 一百七十五
- 一百七十六
- 一百七十七
- 一百七十八
- 一百七十九
- 一百八十
- 一百八十一
- 一百八十二
- 一百八十三
- 一百八十四
- 一百八十五
- 一百八十六
- 一百八十七
- 一百八十八
- 一百八十九
- 一百九十
- 一百九十一
- 一百九十二
- 一百九十三
- 一百九十四
- 一百九十五
- 一百九十六
- 一百九十七
- 一百九十八
- 一百九十九
- 二百
- 十年
