CS兄有心啦，我们前一段在谈Goedel的不完备定理，或者罗素的Type theory在cs里怎么应用的，您感兴趣吗？

来源: 露重烟微于 2024-11-03 18:34:00 [旧帖] [给我悄悄话] 本文已被阅读：次

WENXUECITY.COM does not represent or guarantee the truthfulness, accuracy, or reliability of any of communications posted by other users.