历史 莱布尼茨曾有过以下两个想法： 创造一门‘形式语言’，来描述所有可能的问题 找到一种方法，可以解决所有该形式语言描述的问题 第二个问题被称为...