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

所有跟帖： 

• 嗬嗬，太高深了，我隻對曆史、時事、詩詞感興趣。 -supercs88- ♂ (0 bytes) () 11/03/2024 postreply 18:36:35

• 超兄不必多慮，那都是郭兄搞出來的邪門歪道！ -方外居士- ♂ (0 bytes) () 11/03/2024 postreply 18:40:09

• 居士啥意思？去年JSL網友推薦了goedel, escher, bach，上個月我們又聊起來啦，和郭網友好像沒什麽關聯？ -露重煙微- ♀ (0 bytes) () 11/03/2024 postreply 18:45:00

• 我隻看了郭兄的部分言論，據此，雖覺得離荒謬有點距離，但其距離已經是有限的了。露網友的意見沒有讀過，不在評論之列。 -方外居士- ♂ (0 bytes) () 11/03/2024 postreply 18:50:47

• 我一般忽略郭網友的結論，隻看他問什麽問題。：） -露重煙微- ♀ (0 bytes) () 11/03/2024 postreply 18:53:32

• 高人，郭兄的問題是很有價值的！ -方外居士- ♂ (0 bytes) () 11/03/2024 postreply 18:56:44

• 是的，如果光看他的結論，自動變成“三高”人。：） -露重煙微- ♀ (0 bytes) () 11/03/2024 postreply 19:00:42

• 到目前為止，我的主要工作，是暢想，是推理，是見露網友所未見。結論，尚未有太多。 -郭大平- ♂ (0 bytes) () 11/03/2024 postreply 20:16:13

• 大仙果然是大仙，哈哈 -supercs88- ♂ (0 bytes) () 11/03/2024 postreply 21:42:57

• 那你和蔣網友應該有重合度：） -JSL2023- ♂ (0 bytes) () 11/03/2024 postreply 19:11:08

• 有一點兒，可惜我和蔣老師的邏輯思維不是一個維度，哈哈 -supercs88- ♂ (0 bytes) () 11/03/2024 postreply 21:43:43

• 維度不是問題，郭網友會引導我們跳來跳去：） -JSL2023- ♂ (0 bytes) () 11/04/2024 postreply 07:19:38