简直是噩耗，我的lol (lambda over logic) theory，要干掉交换规则。不然任意组合子或者λ项都有XYZ=XZY，这显然是不能被λ演算接受的[二哈]
不过好在这仍然可以解释柯霍同构。
AI说这叫非交换Lambek演算。塔玛的什么是Lambek演算，又得去学[二哈]
发布于 上海
概念机器
简直是噩耗，我的lol (lambda over logic) theory，要干掉交换规则。不然任意组合子或者λ项都有XYZ=XZY，这显然是不能被λ演算接受的[二哈]
不过好在这仍然可以解释柯霍同构。
AI说这叫非交换Lambek演算。塔玛的什么是Lambek演算，又得去学[二哈]