数理逻辑在工程技术中的应用及匈牙利数理逻辑发展概况

去年匈牙利数理逻辑专家Kalmar通讯院士来我国访问期间在中国科学院数学研究所曾举行过几次座谈,本文系座谈内容的一部分,是由数学研究所同志根据谈话内容加以归纳正理的。在这里Kalmar专家谈到了数理逻辑在生产技术中的应用,同时对数理逻辑在匈牙利发展的概况也有所介绍。