12月8日下午,应“北航研究生学术论坛数学分论坛”邀请,意大利佛罗伦萨大学教授Daniele Mundici为我校师生作了题为“An Introduction to Lukasiewicz many-valued logic and MV-algebras”的学术报告。
Daniele Mundici 教授首先就经典逻辑问题谈起,介绍了Lukasiewicz many-valued 逻辑,并指出,在这种意义下,即使这些前提的某一小部分被随机的删掉,在剩余的这些前提里C还是存在的。Daniele Mundici 教授说明了Lukasiewicz 逻辑在解决部分不可靠信息方面的问题是个很有用的工具。事实上,在Renyi-Ulam二十个问题中有些答案可能是错误的游戏中就体现出这种逻辑。此外,Mundici教授讲述了Lukasiewicz logicd代数和M-V代数之间在其他结构之间的紧密联系。整场报告中Mundici 教授和在场师生进行了积极的互动,引导大家思考,极大的拓展了在场师生的思维。Mundici 教授以他幽默的谈吐,严谨的学风,缜密的思维给聆听报告的师生留下了深刻的印象。
Daniele Mundici:意大利佛罗伦萨大学教授,布鲁塞尔国际科学院院士,阿根廷国家科学院通讯院士。主要从事逻辑代数,算子代数等方面的研究。Mundici教授是4部专著,7本教材,近150篇专业论文的作者,和8个国际学术刊物(如Advances in Applide Mathematics (1995-2010)等)的编委。著名的Mundici等价是连接序代数和逻辑代数的重要桥梁,学术论文单篇被他引130余次,长期以来被国际相关学术会议邀请做大会主报告。
(郭铖)