
引子:我竖立的新逻辑学体系
1、1980年我在上海《学术月刊》发表论文《论历史倡导围聚》,提议了一套新逻辑学表面竖立的构想。
这套新逻辑体系我定名其为“泛演化逻辑”UniversalEvolutionlogic/U.E.L.系统,泛即广泛性的道理。
其时巨额东谈主不睬解我的目标。因为这个表面对传统逻辑(亚里士多德逻辑)具有真切的特出性道理,过于超前,与其时国表里逻辑学范围主流派系的表面体系存在真切的矛盾。
然而伟大的钱学森院士坐窝交融了我这个新逻辑体系的涵义和价值。他不仅屡次写信给我商酌和赐教,何况发表论文和公开讲话对何新逻辑赐与高度评价。院士定名我的逻辑体系为“何新树”--即何新逻辑树(“树”是一个数学专用名词)。
钱学森院士但愿我对“何新树”作念进一步商酌,集结数理逻辑终了璀璨化,开云·体育中国官方网站体式化,算法化,易游国际好像提供给缱绻机手脚一套软件措施竖立期骗,成为具有算力的逻辑智能系统。
2、我花了三十年想教练究这个钱学森课题。然而骨子上其时我的各方面学问准备寥落是闹翻数学方面的准备仍是远远不够的。我必须酌量若何让我的这套逻辑系统,由当然话语表述转为数理逻辑和终了算法措施化,然后进一步拓扑体式化和限制化(categorification),从而转造成电脑能用的编码算法系统。
直到最近几年,借助缱绻机编码寥落是东谈主工智能期间的高出,我终于把这个事情初步完成了,构建成了咫尺的泛演化PEPC算法系统,即Pan-Evolutionary Paraconsistent Calculus 泛演化超配合演算(逻辑系统)。
本书便是我对于这个新逻辑体系的一系列论文与商酌敷陈的汇编。
我谨以此书告慰于昔日一直顺心和守旧我此项商酌的已故钱学森院士和我尊爱的父亲何炳然先生。
何新
2025年12月26日志
澳门大阳城官网(SuncityGroup)
备案号: