posted by wap, platform: MAC OS X

引用:

原帖由 @yfl2  于 2016-10-16 19:02 发表
你们干嘛这么在意一个无足轻重的人的文章有没有措辞问题…

不要这么说杠神，这贴对我还是挺有益处的。
一开始是纠结于“提携”，我认为业务只是修饰提携而已（形容词的作用，中文词汇）。但后来古兰佐说不应拆开来看，“业务提携”就是舶来品，对应中文的“业务合作”。
但我在#146的时候就说过了，很少遇到“获得业务合作”这种说法，“开展业务合作”，“进行业务合作”这些中文很常见，
“获得业务合作的机会”，“获得业务合作的关系”，“获得业务合作的资格“，这些也常见。当然“获得业务合作”也符合中文语法，只不过我以前不明白什么意思。
但DB通过中文谓词A+日语名词（假设“业务提携”是日语名词，不对轻喷），那就创造了中文谓词B+中文名词，最有意思的是，以前中文里 A!=B，（获得跟进行，开展肯定不是同义词），但现在就开始变得相等了。

获得业务提携 = 开展业务合作

这真的挺神奇的，一阶逻辑里，谓词是不能被更改的，因为是谓词构成了命题函数，更改了不就等于另外的函数么。。。
但DB改变了我的认知，或者说DB教育了我，谓词可以当作变量（这个变量可以是一个函数），从而构成高阶逻辑（high-order logic）。
我确实不应该上来就嘲讽DB，这贴还是挺有意思的。

posted by wap, platform: MAC OS X

引用:

原帖由 @钟欣潼  于 2016-10-16 20:04 发表
你说得这么复杂，也不考虑下那些小学语文未毕业的能不能看得懂。

我操，不行，你别拦着我，我有点沉迷了。

设存在中文谓词函数A(x)，x的域为日文名词。
设存在中文谓词函数B(x)，x的域为中文名词。

我们会寻找到另外一个函数，称为Darkbaby函数（Darkbaby function），简称DB函数。
使得，DB(A(x)) = B(x)。
DB函数一个高阶函数，也就是说以一个函数当作参数，返回值是另外一个函数。
进一步观察，A(x)语义为z，DB(A(x))语义也为z，又因为DB(A(x)) = B(x)，则B(x) = z，DB函数就是一个高阶的不动点函数（fixed-point function）。