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