数魂的个人资料

Tasks Lists Spaces 任务清单空间：建立任务清单是时间管理和任务规划的基本手段，在此基础之上，可以对任务各种加权(时间、重要级、先后关系等等)。不过很多较大的“工程”并非对清单中各任务加权后叠加这么简单(最显而易见的例子就是学习一个有系统的、概念较多、逻辑较强的专题内容)，类似于：想要认清一栋楼的结构，不能简单给出方案——认清这栋楼的一砖一瓦——也许等待楼宇报废，也完不成这个方案，即便完成，对于楼宇结构的认识也无甚帮助

好的平台就是遵循朴素、传统、纯粹的规则去努力，持续足够的时间，就能够达到任何一个没有上限的目标。

取消thinkpad手触,保留笔触

[有效时间构成]

如何用数学证明“只可意会，不可言传”？如何用数学证明“只可意会，不可言传”？ 2016-10-08 黄逸文中国科学院数学与系统科学研究院点击上方“科学大院” 可以订阅哦！作者：黄逸文（中国科学院数学与系统科学研究院）在生活中，我们常常听到人们谈起某件事、某种感受、某类技艺时感叹：只可意会、不可言传。那么，究竟是人类的语言词汇贫乏，还是真的有某种神秘的力量让人臣服于大脑表达的无能呢？让我们从数学家哥德尔说起。库尔特·哥德尔(Kurt Godel)数学家、逻辑学家和哲学家。哥德尔（1906-1978），著名数学家、逻辑学家、哲学家，生于捷克的布尔诺，1924年到维也纳大学攻读物理，两年后转读数学系，1930年获博士学位。后来，哥德尔去了普林斯顿高等研究院，在那里，他成了爱因斯坦一直找寻的谈伴，并被爱因斯坦视为知音。他被誉为自亚里士多德以来人类最伟大的逻辑学家。计算机之父冯·诺依曼曾这样评价他：“哥德尔在现代逻辑中的成就是非凡的、不朽的——他的不朽甚至超过了纪念碑，他是一个里程碑，是永存的纪念碑。” 那么，哥德尔究竟做出了什么贡献，让人们赋予他如此伟大的光环呢？哥德尔与好友爱因斯坦这就不得不说到哥德尔在1931年证明的一个定理——“哥德尔不完备定理”，正是这个定理让哥德尔名垂千古。这个定理的成果直接影响到了今天的人工智能和大脑神经科学的前沿，并且也必将在未来人类的发展中起到至关重要的作用。 “哥德尔不完备定理”的主要内容可以如下表示：在任何一个相容的形式化数学理论中，只要它可以在其中定义自然数的概念，就可以在其中找出一个命题，在该系统中既不能证明它为真，也不能证明它为假。换句话说：一个包含自然数的体系下，存在着一个问题，在该体系的基础公理下永远也不能证明该问题是对的，同时也永远无法证明该问题是错的。在数学的历史上，曾经多次出现这样的问题。举世闻名的费马大定理就曾经让数学家陷入这样的困惑。在三百多年的漫长探索中，很多数学家对费马大定理是否能证明或给出反例都表示出了极大的悲观。而另外两个世界知名的数学难题——哥德巴赫猜想和黎曼猜想，由于哥德尔提出了幽灵般的不完备定理，迄今为止，也被少数数学家悲观地预测为不能证明也不能否证的问题。但是，这也并不表示此类问题就没有解决的希望，只不过是基于数论的基础公理无法证明该类问题而已，人们需要利用其它形式系统的方法来实现跨界证明。费马大定理最后就是利用椭圆曲线的工具才得以完美解决，1995年，英国数学家怀尔斯在潜心面壁8年后终于解决了这个困扰人类358年的难题。如果哥德尔不完备定理只是在数学领域显示出顽强生命力的话，那么它的影响力要有限得多，而让它真正大放异彩的，是其随后在计算机和人工智能浪潮中的应用。电影《我，机器人》中的人工智能机器人桑尼数学的基础是建立在一系列的公理之上，在逻辑推理的辅助下往各个方向无限延伸。构成数学推理的语言是一套符号运算系统，在基本公理的奠基下，人们可以依靠逻辑递归地推导出一系列毋庸置疑的结论。哥德尔不完备定理其实揭示了这种基于数论有限公理的形式主义逻辑的不完备性。即人们可以在其中添加无限多的公理而与之前的公理没有任何矛盾，且这些新加入的公理无法用之前的公理递归枚举得出。这对当代的计算机科学有着深远的影响。众所周知，现代的计算机都是基于冯·诺依曼提出的二进制数字运算的基本原理和一系列基础公理，其执行一般由输入、处理和输出组成。尽管计算机在速度和执行效率上有了日新月异的发展，但是其处理数据的思路仍然是基于一定的递归规则运算来判断命题的真伪，从而输出结果。然而哥德尔不完备定理却无情地揭示了计算机的隐患：至少存在一个命题，递归程序无法判断其真伪。系统在处理这样的问题时必然陷入无限卡壳的状态。解决这一致命缺陷的办法只有无限扩展公理集，但由于计算机的存储始终是有限的，因此我们永远也无法造出完美的计算机。这样，基于冯·诺依曼理论构建的计算机从诞生开始就有着先天的“基因”缺陷。也正因为如此，一些数学家认为人类的“直觉”不受该定理的限制，所以计算机永远不可能具有人脑的能力。人工智能无论如何发展，也无法具备人类的智慧。电影《我，机器人》截图但另外一些研究指出人类思维也是不完备的，人脑的“思考”和电脑的“运算”基本原理一致。电脑用电子元件的“开、闭”和电信号的传递，人脑则相应表现为神经原的“冲动、抑制”和化学信号的传递。这种相似的联系直接导致人脑的思考也是符合哥德尔不完备定理的条件的，因此人类的思维系统也是不完备的。在生活实践中，人们是通过思考来建立对世界的客观认识和描述的，而语言则是人们彼此交流思考结果的有力工具。对人脑而言，思维推理系统的不完备也就意味着存在不能用思维证实的问题。简而言之，现实中总有那么一些问题或者想法，我们无法用思维来证实或者否定它，从而也就无法用语言来完全准确的表达我们的思想。由于思维是客观实在的近似反映，语言则是思维的近似表达。这就是我们“只可意会、不可言传”背后的数学原因。

一些tsk

手机/电脑的使用

关于整体性的随记一楼留空

哈哈，因子好可爱，加油↖(^ω^)↗

新人求罩

终于看到小光的照照啦~~ 感谢鬼鬼

空间交友要慎重点鼠标= =

我嘞个喵！！！！召唤卅猫召唤卅猫啊啊啊啊啊啊啊啊啊啊啊 @卅水合超盐酸猫 @卅水合超盐酸猫 @卅水合超盐酸猫 @卅水合超盐酸猫 @卅水合超盐酸猫 @卅水合超盐酸猫 @卅水合超盐酸猫 @卅水合超盐酸猫 @卅水合超盐酸猫 @卅水合超盐酸猫 @卅水合超盐酸猫 @卅水合超盐酸猫 @卅水合超盐酸猫 @卅水合超盐酸猫 @卅水合超盐酸猫 @卅水合超盐酸猫

学习安排和心态调节其实无论是中学学习还是以后的学习，面对的各种问题和阻力也无非就是这样的两个大类：完成需要做的事情和调整自己的心态。对于要做的事情，分成两个部分：一部分是必须要完成的，比如，作业、功课的复习巩固、平时的大小考试等等。另一部分呢，就是有意义但是要求并不是很迫切的事情，比如，那些学习以外的事情（担心自己除了学习，其他事情不会，就是想在这部分事情中有所提高）。事情呢，总是一件一件做好的，所以需要为所做的事情安排一定的顺序。一般是把第一部分安排在前面，第二部分安排在后面。

熊熊交作业~~~

宵夜~~ 维维豆奶+绿豆馅饼神仙般的享受啊

求证，三角形的极圆，九点圆，外接圆共轴求证，三角形的极圆，九点圆，外接圆共轴

找两个矩阵A和B AB严格上三角,BA阉割下三角

谁来帮忙找个例子:a是满环R到S的满同态,但a的核不是R的直猫脑袋卡壳了,帮帮忙啊线索也可以

怎喵让TEX打文章快一些啊

喵呜，风华月梦建立了一个群，正邀请大家加入呢，快来啊喵~ ~~~ 喵呜，风华月梦建立了一个群，正邀请大家加入呢，快来啊喵~~~~ 群号是139635644

2011-1102，今天是这十年中最后一个对称日啊！水一个

看了三篇文章... 见识了各种灌水,酱油,坑爹,卖萌...这作者们当期刊是贴吧啊另一方面倒是体会到了杀怪升级的快感...

看到一个好玩的东东，分享给大家~~未来照片？！不知以前有没有过 http://tieba.baidu.com/mo/q/checkurl?url=http%3A%2F%2Fcn.miraino.jp%2F%3Fn%3Dusrbin&urlrefer=e229c020248b64def316480a6e270ee3

U格格的贴吧怎喵了? 抱歉咪有此吧不会吧

【猫咪猫咪】动动猫耳朵~~

@饮冰室校书 55555555555本来应该点批准的，可是常见的那个位置竟然是个拒绝要不……要不，乃再申请一次好不好都是我的错啊，这几天一直神经大条 @饮冰室校书

月喵妹子虾米时候解冻的

丢猫了... 刚才去看羊,羊群依然很怕人,我一过去它们就跑,有只老羊被拴在树上,不能跑远,就围着树转了一圈------把我给捆上了太特喵丢人了

下次再也不把电脑借出去了~~~~(>_<)~~~~

貌似IDP在我的电脑上比正常情况下降低了四分之一个音阶，怎么回事？是这样，我不会双手弹奏，所以伴奏部分就下载MP3 弹奏时候只要key值和MP3的调子保持一致就可以了（如《晓之车》是bE调的，key值设为3就好了）现在问题来了：刚换电脑。新电脑上安装了以后，感觉IDP的调子总是比MP3伴奏的低后来用amanzing slow downer（ASD）把MP3的音调设为-0.5才能保持一致这是怎么回事是不是声卡有问题要知道，用ASD设置MP3伴奏好多音效都损失了谁来帮帮我啊

喵了个铁道部,又被坑了... 明明窗口上方写着提前11天购票嘛,等偶排了长长的队以后,卖票的大娘竟然说,竟然说,提前5天发售,不过,偶还是灰常大度地提出帮他们把那个11改成5,以免误导旅客,瞧咱这是虾米风格啊,可是咪有想到,咪有想到,被说成神经病

好冷清啊,猫咪们快来抢沙发啦~~~>_<~~~

昨天二姨给号脉... 竟然说偶气血虚,身体绕结果来自老妈的WM就一直咪有中断说我不好好吃饭睡觉

真书和电子书比还是有优势的... 不费电

(#啦啦啦)月喵虾米时候又搭个新窝啊原来那个号还咪有解封喵?

三轮车追汽车... 对于追上我不报任何希望,但是不追就永远不会唤起对汽车的渴望,不追就永远无法摆脱被超越的命运

我了个喵...架校太坑爹了为虾米不早点同志偶考试周六周日要探亲,明天师傅又有别的学员,哼…肯定是个女学员肿么办?这次真要裸考啦

口琴坏了一个音肿么修复~~

一件奇怪的事~~ 大概六七岁的时候吧,那个时候家里有个FC游戏机,有个中国象棋的游戏,游戏分3个难度,最简单的那个是个小孩。那时我刚学会怎么走棋,无论如何也赢不了别人的,包括邻居几个小伙伴,还有就是游戏里的电脑。一个偶然的机会我发现了一个赢电脑小孩的最简单的走法(因为下不过,所以总是瞎走,误打误撞走出来的),执红只要11步,执黑只要10步。那时游戏没有记忆功能的,电脑走法都是固定的,所以每天我都用这几步反复赢电脑小孩(好吧,我承认从小就变态行了吧),这个过程丝毫不走脑子,只是把记住的那几步走对就行了。就这样玩了几天。等再和小伙伴们下棋,我就突然发现,我能赢他们了,而且胜多输少。那时我想当然地认为是我总赢那个电脑小孩水平就提高了,现在想想根本不可能,因为那个过程完全是机械的,可以说,虽然走着棋子,但是头脑里的思维和象棋一点关系都没有,这也是那几天唯一接触象棋的形式。这跟后来的棋力大增有虾米关系啊?搞不懂闪睡觉

数学的功力体现在虾米方面呐~~ 运算,推理,构造,算法设计?

学术方面的高下... 在保证基本正确和发展潜力的情况下,学术的高下是否由它的受众来决定呢?如:降龙十八掌和六脉神剑哪个更厉害?在不让小乔和小段PK的情况下,只能看练哪个绝招的人多咯?

夏天,好多人都在纠结啊... 也许会找到秒杀这一切的利剑^^

我就觉得这屋里好像多了一个人的喘息声... 原来是电脑忘关了继续睡~~

睡了个觉的... 猫咪们晚安咯,在梦里躲猫猫吧

(S_n)(a_n)=(1/4)^n,求a_n 别人问的,偶不会了,帮个忙呗(#蹭蹭)

被老妈说脸色发暗... 还问我:“你不会有毛病吧?”这也太直接了吧我觉着我这脸一直就是这个颜色没啥变化呀净会吓唬人

看以前的毕业照... 好多人已经叫不上名字来了,还有好几个人,竟然从没跟他们说过话。他喵了个咪的我咋这么失败呀!

最近几天全身乏力,昏昏欲睡应该不是休息不足,而是缺少锻炼。仅散步不能带来锻炼后的兴奋,不能消除内在的疲倦。过于剧烈的锻炼又感觉没必要。现在想寻找一些方式,对消除这种疲态有立竿见影的效果。目前定位于比散步稍剧烈一些。我能想到的除了第广播体操还有一些简单的准备活动的动作就没别的了。效果还可以。慢慢尝试

推荐电影《Colorful(意外的幸运签)》心理吧网友推荐的,看了两遍,很不错

刚把《龙樱》看完... 樱木的眼神不错。他和那四个老头子大部分理念我在音频日记里也提到过,看的时候超有共鸣感。不过那个“时间浓度”我没深入展开过。总体上不错...其实我更期待动漫版本的- -

考场地啊...紧张紧张~~ 争取把侧位停车过了

AB与BA是不是一定同时相似上三角化呢？突然想到的卡啦汪汪

事实部分与情绪部分感受由接触的信息决定。信息分为事实部分和情绪部分。事实部分相当于原子核,情绪部分相当于电子,而且是自由电子。

介个...任务管理器咪有响应肿么办?

Vocabulary Battle——刘毅词汇5000 http://tieba.baidu.com/mo/q/checkurl?url=http%3A%2F%2Fishare.iask.sina.com.cn%2Ff%2F17107251.html&urlrefer=9db5ba20386e5c114840c93aeb413fc7 5000词里有好多重复的坑爹呀

明天五点就要起来练车喵了个咪~~

Vocabulary Battle——刘毅词汇3000 http://tieba.baidu.com/mo/q/checkurl?url=http%3A%2F%2Fishare.iask.sina.com.cn%2Ff%2F16995707.html&urlrefer=d700590bc8dadaad3ba1940918f730db 其实昨天是想把这些图片传到相册里，可是每个相册都不行所以就把它们合并成了pdf传到新浪咯假期记单词的朋友跟我来吧

导师又给了4篇论文 1篇以前看过剩下的三篇……太他喵了个咪的简单啦