象存唯一进步施（米特）派 @[email protected]

虽说喜欢的是最烂大街的浪漫主义古典乐，但是我每次听马二复活最喜欢的还是那个公认机器人遇到上帝aka他就没感情的布列兹版，听阿巴多也觉得一般很顺滑，但是布列兹太神秘了已经可以归进猎奇了因为他真的好没感情啊！

但还是好想回到去年开题跟那个自己说你不会写模态逻辑论文你能不能换个东西哪怕写语用学和逻辑，什么逻辑语法都比现在好多了啊！

我都想好致谢了，先感谢我导我师没有放弃我，然后感谢pacuit教授、singleton、我发了邮件的王老师和我没发邮件的王老师、然后是毛象上一到东八区晚上就要看我崩溃写论文的朋友们和过路网友，然后是布列兹和布隆斯泰特和jcs的耶稣和耶稣和圣母……【什么东西

真受不了我这个天天跌宕起伏的论文心情啊！十五号前到底能不能硬凑完一个弗兰肯斯坦的论文啊！

老师……！虽然我是你教过的最废物的小饼干但是你一定会救我吧！

诶突然想起来了，因为这篇论文中间要和认知逻辑结合才给Sphi解释成dia phi的语义，我又不需要非把我那个缩减的语义模型和关系语义结合，我用邻域语义的啊，还能硬凑一下，加油……实在不行我老师也会跟我说的我改起来也有方向！啊一想到可以把麻烦的东西交给我老师我又有信心了【……

另外事到如今其实我可以说我可能终于能做出来一点中山逻辑学研究生入学考试的题目了，因为我终于学了，终于知道它那个要我推导的题其实确实就是挺简单的一阶逻辑推导，换两下就出来了。但是同时就是觉得还好我没进去否则现在更痛苦吧转行都不好转了……

布列兹——布列兹——你救救我吧你能不能把你的脑子先借我用一下我需要摒除感情三天带着机器人程度的情感浓度把论文写完再徐徐崩溃……

不过临时学了二十天数学我发现确实比一开始懂的东西多了，感觉纯属是，呃，就是硬看太多终于在脑海里留下印象而不是看证明的时候在第二行就忘掉我在证什么了……

其实我有借口可以讲的，我的数理逻辑和模态逻辑的授课老师，就是伊人挺好的，但是我上课我能明显感觉到其实老师伊自己首先就没懂，感觉就是比现在的鄙人强但有限的水准……

抄着抄着涅槃了，同时又不想抄了【……】，但同时又再次思考我这不就是翻译吗还是翻译同一个人，我自己的创新肯定做不到他这样的呀，你看我像是会用典范模型证明新逻辑系统的一致性和完全性的人吗？我甚至怀疑我的系统其实不成立，都不说是不是有紧致性了，它能运行吗我都想问……
……不然我把这章删了吧我就拿出来作为一个还没证的东西提一千字算了……

正在想还有什么办法补救一下，比如直接用典范模型……

其实越看越觉得我一开始准备的那个证明基本是不可能的……

虽然最近在天天后悔没有早点写论文事到如今万策尽，但是其实我今晚看典范模型就发现其实我是不可能早前写完的，因为不到这种时候我不会逼自己去理解怎么证明一致性完全性的（……

不由回忆起高中的时候我们年级主任是个数学老师，伊口头禅是“你根泵么有空间想象楞力！”
我现在的心情就是我根本没有抽象想象楞力！

看选择公理看得头木木的……

看过两次学长用latex做的ppt，感觉那个真是优美简洁，等干完活也想学一下！

怎么会有人还有四天就要交论文初稿之际临时抱佛脚两个小时从黑皮书看到陶哲轩实分析，刚刚才搞明白一些诸如并集里那一堆下标都叫什么，以及到底什么是上闭和下闭……

写完论文我要学一下怎么用latex，我要学会以后拿来排我的政哲论文，哼哼……还有拿来写同人【诶

大家能懂吧，就是，都不是难看，而是普得你都不知道说什么好！snl的小马我觉得就很合适替代他，至少很可爱啊！