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

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

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

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

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

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

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

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

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

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

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

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

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

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

而且妈妈的，我真的不理解甜茶受欢迎的现状，我看他上snl那期pdd的段子我都没认出来他是谁，看到弹幕说我才知道这是这期嘉宾！amazing！普男普到和pdd站一块我觉得pdd都看着像回事的程度了！

本来不准备看沙丘2了，因为看1的时候就觉得很无聊，而且我觉得配乐很无聊还不如陈旧的浪漫主义配乐比如你拿布鲁克纳搭配都行【说明只是喜欢布鲁克纳】。但看人说这部讲述了女主跟男主分手后哭着打车走了，听完就来劲了【……】，来劲的点可能是我想看这个盛大的分手有多搞笑！

过去了几个月了我还在回想我再也不能第一次看满江红了！还有坚如磐石居然没有满江红这么好看！大家没看不懂，满江红的好看就好看到它是个彻底破罐破摔之作，爆笑到每个反转都让人根本忍不住笑！好想消除掉我看过的记忆再看一遍，再尊享一遍根本在这个赛道上就是独自一人的加长版现实主义小品啊！
坚如磐石差就差在它太他妈正常了，连烂都烂得很正常！无趣！

室友今天出门玩去了，问我来不来，我当然不来，但是原因不止是我论文没写完，总之听闻如此立即在宿舍大声播放布鲁克纳第九……【

就会很容易让我想到，我一个上海市长怎么就到了中央呢？
每次读柏拉图都只会让我更加不赞同柏拉图，真是几乎没有一次我赞同柏拉图，亚里士多德你来救我吧（……