CS兄有心啦,我們前一段在談Goedel的不完備定理,或者羅素的Type theory在cs裏怎麽應用的,您感興趣嗎?

來源: 2024-11-03 18:34:00 [舊帖] [給我悄悄話] 本文已被閱讀: