Show older

跑去别人的文本复制了一个以为终于解决问题了,结果是word给我的box符号显示了一个问号。问号?诶?你有什么疑问?你有什么不满!这个是由得了你的吗?!

正在想今天怎么到现在没想出来把什么东西塞进论文,抄笔记抄着抄着突然就知道把什么塞进我自己的框架的证明里了……谢谢你,pacuit教授!

极度怀疑把这些东西翻译完然后我冲进来做我都不知道对不对的证明,什么Ephi可推导M,w推导phi的真值集的补集不推导出phi,啊说错了这是定义……总之就是证明一下完全性以及诸如Srphi到psai即Sr phi则 Sr psai之类的,这些东西全写完我真心怀疑刚到一万五……

听复活给听精神了……好吧复活了我再写会……但说实在的我还能写什么,妈妈的,邻域语义我能抄的部分好像就要抄完了!

来劲了敲了一个多小时,然后一看统计字数一千字,我的心情就是妈妈的我不学latex的报应就是手敲公式如同劳动密集型产业……

写到现在我感觉我的创新性就是以前大家没翻译过pacuit教授的这本书的intro……然后我还要翻译王教授的文献,嗯。
妈妈的这论文能过吗它真的像尸块(捂头

算了等我把尸块全串到一起的时候再想怎么让它们成为有机尸块……

我操完蛋了,就算最少最少的写法我都未必真能写到那里,一想到明天学妹她们开题我导必然会来问我你怎么样了我就想两眼一闭然后跪地开始私密马赛红豆泥私密马赛!

崩溃了一个下午,以标准的发疯状态又哭又笑了三个小时,然后变正常了,开始敲公式。这个论文写完我的精神状态可能只能用滔滔江水听我说我诅咒一切能形容吧。【什么东西

目前只是理解别人的封闭性质证明,开始怀疑初稿交上之后我师跟我反馈我擦汗之际发现不能理解这到底有错没错

诶好像懂了,但是说起来证明这个封闭干什么啊【……

每每半夜拼装我的论文看到陶哲轩发毛象了我都浑身一震宛如看到我师……

写到此处意识到妈妈的我不知道封闭性质的意义是什么!总得介绍一下我才能开始证明什么交集封闭有限并封闭啊!

呃到底证明封闭的原因是为了后面证明方便还是说因为封闭可以帮助证明完全性啊……

隐约感觉,证明封闭性是为了这个框架模型的一致性而不是完全性……再不然单纯是用来证明和认知逻辑的关系的一环……

我操等下十五号前写完今天七号,这不是剩七八天了吗【捂头大喊

我操,砍掉公理化证明的七十七帕内容好了我要简单快捷得到一个结果然后用到我自己那个全是漏洞的框架证明里去!

想了一下,其实我的这个框架需要的难道是公开宣告动态认知……?

敲了一晚上公式突然发觉我的推导符号怎么看着怪怪的,然后再一看妈妈的我笔记上还是正确的一竖两横,怎么论文上全是两竖一横!啊!【紧急全文替换

由于已经彻底事件来不及了于是开始做一些根本就是翻译一样的工作凑字数,心情就是这真的能过吗?还好我以后不干这行了不然我以后要是学术不端一定是因为我硕士论文实际上是翻译别人论文造成的啊啊啊啊

整个三月八号没想出来把什么塞进我的论文里现在三月九号了!好吧在四点前我要找出两千字塞进我的论文……

现在立刻能不能有个谁用胸部压迫我,干脆闷死我算了……

事到如今才发现我准备抄别人的做出来一个模型这件事它行不通的原因是那我好像要重新证明了啊!加这么个东西到底能不能行啊!

略加思索删了别人一个算子我自己又加了一个【……

然后略加思索发现嗯我唯一想表达的那个命题好像用这个逻辑它就mission impossible啊?
嗯……?事到如今我还能怎么改才能塞进来啊!

思索了一下改了,然后发现他妈的我说了个完全trivial的东西啊!

也许……本来这些东西都很trivial……【疯癫

算了先撂下让我先去抄别人的论文先把今天的两千字写完睡觉【挥手

心情:不如我吃九十片维生素b2然后一头栽倒送我进医院吧。
所以吃太多维生素b2是会怎样【突然开始搜索

好受不了这个这篇论文唯一的创新卡在开头的感觉,于是打开明日方舟去戳新来的医生(……

大夫,你知不知道怎么把专家意见和对照试验结果这两个东西在认知逻辑里表达出来还能让这个系统继续保持一致性和封闭性还有就是有那么一两个不那么trivial的公式……

其实我还跑过酥皮牛肉饼,刚沾上一点就捞出来吃了就能保持酥脆和胡辣汤的汤汁味……

听循证医学的网课竟然听精神了,大夫你讲怪好的,但是我要是学科哲的我还能用一下我是学逻辑的你说的东西我只能用一帕【哭泣

翻了一会我的集合论笔记发现过去记的东西我三年后才第一次理解诶,真是神奇啊【棒读

看了半个晚上笔记和资料,我的答案是我要明天看王彦晶老师那个模态逻辑网课看怎么证明完全性来推导一下怎么用到我那个狗屁不通的框架里……

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

Follow

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

· · Web · 1 · 0 · 1

刚才仔细一看伊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 🙂

Sign in to participate in the conversation
廣場🚩:長毛象自由站,歡迎豆瓣鄉親及臉書逃難者

那年的廣場,那些年的廣場,讓我們重造廣場。手機App:https://tooot.app/