论文部分内容阅读
【正】 目前,形式系統(演算)理論已經引起了科学界的注意,这是因为它在邏輯学、数学、計算机理論、控制論和語言学等科学部門的发展中起着重要的作用,而这些科学又是計算技术、通訊技术、自动控制和机器翻譯等領域的理論基础。所以,人們对于形式系統理論的兴趣主要是由于科学技术和生产实践引起的。唯心主义者片面地夸大了形式系統理論的抽象性,抹煞了它同客观世界的联系,从而束縛了它的順利发展。