一阶谓词逻辑是语言学数学化的标准形式，具有公理递归演绎特性；乔姆斯基的形式语言理论和计算机程序语言都具备了一阶谓词逻辑的公理递归特性；计算机语言与乔姆斯基语言学具有完全的逻辑等价性，这使得人工智能处理人类语言成为可能；人类语言最终可以还原为电路中高电压与低电压的有序变化，深刻地证明了物质与意识的辩证统一规律。
科研之友
微信
新浪微博
Facebook
分享链接
