看了一眼，是一个20页的ppt，有些基本概念和重要问题介绍。和我最相关的是判定问题，希尔伯特（祖祖师公）说判定问题是数理逻辑的主要问题。我很听话，一直在研究判定问题的算法。
发布于 北京
蔡少伟
看了一眼，是一个20页的ppt，有些基本概念和重要问题介绍。和我最相关的是判定问题，希尔伯特（祖祖师公）说判定问题是数理逻辑的主要问题。我很听话，一直在研究判定问题的算法。