发布网友 发布时间:2022-04-24 17:03
共1个回答
热心网友 时间:2022-06-13 09:33
424逻辑建立在几个与传统逻辑不同的公设之上: 1、不可传递性:若命题A=B且B=C,则A≠C 2、共存性:存在命题A,为真且为假 3、超越性:若命题A无法推出B,B无法推出C,则A=>C 在这三个公设之上,424逻辑在自身可以构建出一套足够完备的定理体系。虽然这个逻辑体系与传统的人类思维格格不入,但是Franklin Allen和Christopher Schardl已经证明它在数学上的一致性。 英国伦敦大学逻辑学教授David Makinson称424逻辑的提出堪比非欧几何之于欧式几何。 虽然距离诞生不到一年时间,但是424逻辑很快焕发出了巨大的生命力。它在控制论、人工智能、应用统计、神经网络研究、心理学等领域得到了长足的发展。
参考资料:http://ke.baidu.com/view/2939573.html