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

愤恨中吃完了我下午买的汉堡王薯条……算了我要睡觉了明天上政哲课然后加上我要去医院复查……论文目前10650……【

抄论证我都抄烦了于是开始写评价，然后上手写评价发现立刻我就，呃，那这个系统到底优点是什么，他证明完全性到底证对了吗，它的解释能力到底几何，我靠，其实我不知道！更别提批评了，我就是想说他没解决逻辑全知，他本身好像也没那个打算啊！我万策尽了妈妈

打开随便一个看的人多一点的陶哲轩的视频就很容易碰到人提韦东奕。其实真的没任何可比性，因为数学好坏毕竟并不是用谁做奥数快决定的……说实话韦本人并不让我有什么想法，但很爱提韦的这些人感觉那真的是把什么东西寄托到这里，天天搞宝可梦对战一样搬名字出来说韦和他比何如。不是……就是这真的没啥好比的，韦在数学研究方面都不是一个很年轻的人了他也没有太多成果，更别提和31岁拿菲尔兹的陶比诶……当然了不论伊拉哪个我都够不上一点……【

在水房听到同级的人说论文写完要去喝酒，我想了一下我写完要干什么，我要去教堂……这显得我这人真的很那个【……

说实话最近的心情就是我是不是被抓去缅北了现在要干够数才能把自己赎出来转行……

翻译了好一阵突然想起来我好像本身主要是想论证我自己硬扯出来的那个系统能用邻域语义而已，好像不需要非得和我介绍的那个结合……呃这样的话虽然更没价值了但是感觉还是可以抄的……

其实我的安慰食物是窝个溏心荷包蛋的酸汤挂面，而且必须是我妈调味的，因为我不知道她怎么调的，或者说是调料的顺序和用量不同，反正伊煮出来就和我自己做不一样。过年回家想吃这个跟我妈讲，结果因为没有挂面所以没吃到……想吃……酸汤挂面和荷包蛋以及用溏心蛋黄沾面一起吃……

我操序怎么会对称呢我那个时候是不是脑子停转了！

上次写一晚上写到七八点还是我给导师第一次汇报，然后再上一次写到七八点是写完我的集合论作业然后立即上递归论……

比如看这个引理证明向下封闭，就特别疑惑原来你是个序……？而且也不是偏序因为你好像还对称……？

这个论文写得我很痛苦的原因其实不是我没东西抄，而是鄙人其实是一个在这方面很有自尊心的人接受不了自己笨到这个只能抄了而且还看不懂，每天都试图写出点什么自己的东西出来但是已经一周了根本写不出来！现在开始真的接受现实翻译别人的证明……

我不是、不是死文傻吗……我为什么已经从我导师问我论文那天起看了二十天证明了，而且一路已经冲到点集拓扑，这合理吗……

找视频参考中途看到一个汉语口音很重的哥和伊额意大利口音老师讨论问题，我好爱看这个我乐呵呵听了三分钟电学材料……（

最近经常在b站看学数学的大哥大姐们讲数学学习方法，受益非常多，同时又特别地疑惑怎么我会给自己选这么个题目……？我一开始根本就没看懂我的题目啊……？

每天都徘徊在让我抄别人点论文和不行啊不能直接抄啊的心情里来回摆荡！可恶！不管了先抄了再回过头改吧主要我本身也是介绍性的！

我听了十天郑公山的西贡小调以及诸如黎明岛的自弹自唱之后，终于忍不住开了新的空白文档准备写刚铎分裂为南北开战然后法拉米这家中的叛徒理所当然去当国王派了，而且由于最近根本一毛钱古代都没看过，脑海里根本上就是越战或者稍早一点保皇派和共和派大战……但他们家太封建了，而且我感觉两边都封建兮兮的不适合我现代化【？】，顶多能想到菠萝还在保卫旧世界法这家伙就当叛徒了，然后未来只会成为新政府受忌惮的吉祥物。严格意义上其实我只是想看他一个人活下来之后在新世界质问自己到底是不是应该这么做，被虚假的幻影安慰之后受批评，最终成为一个即便是临死也言不由衷的人。但这么一想只是想看这个的话其实我的背景随便设定毫无问题啊！好比我想看的东西前三位，第一位是没有死但是成为了苏拉的德内梭尔，死后直接导致刚铎共和彻底破产那种【比划】。但是我也很清楚在托尔金的设定里其实摄政派也是某种保皇派，因为摄政是实际上的国王，没有真的当国王不过是因为他们家没有做僭主的心也不想当僭主有失面子吧。但我本身很多地方都不在乎托尔金怎么想所以我不管反正摄政派就是议会共和派！【

刚才仔细一看伊profile说的这个话我觉得很好：
We should aim to be a logician with the capital L: sensitive as a linguist, think like a philosopher, prove like a mathematician, and make the results work like a computer scientist. At least go beyond what ChatGPT and its logic-enhanced future iterations can do 🙂

说到这个王彦晶老师我就想说我第一次打开伊额个人主页发现是伊用的是wordpress，产生了一种“原来wordpress不止是拿来过同人女生活的啊，不对，本来就不是专门拿来放同人的啊！”的心情……
不过伊网站搞挺好的大家请看：http://wangyanjing.com/

还好听了，王老师正好提醒了我不要把一个没有紧致性的系统证出强完全性和可靠性……

不如说我是这样一个人，田园牧歌之生活永远都只是幻想，现实中的人永远能搞出你未曾想过的混乱，而为了我们的生活得到保卫，真正要做的就只有不断地为此付出代价，因而我不相信田园牧歌，我也不憧憬田园牧歌，比起理想主义者，我还是更愿意做守护理想的现实主义者。