原问题指的是经典逻辑系统里使用simple typed lambda表示高阶的逻辑系统(详见Peter Andrews的Introduction to Mathematical Logic and Type Theory一书,同样的系统Andrews也在一些逻辑学手册里写过
++++
个人看法,逻辑学课上如果讲了这个simple type的逻辑系统,有学生问出这样的问题,ta应该都没有gpt这么自信的给答案,
原问题指的是经典逻辑系统里使用simple typed lambda表示高阶的逻辑系统(详见Peter Andrews的Introduction to Mathematical Logic and Type Theory一书,同样的系统Andrews也在一些逻辑学手册里写过
++++
个人看法,逻辑学课上如果讲了这个simple type的逻辑系统,有学生问出这样的问题,ta应该都没有gpt这么自信的给答案,