哥德尔纲领 (4-4)

而我们几乎可以确定武丁与郝兆宽持有与哥德尔相当甚至更强的乐观立场。

结论

事实上，真正乐观的理性主义者总是试图给出强而清晰的论断，它们足够清晰以至于是可以被证明为错的，它们也几乎全部被证明是错的。

弗雷格、希尔伯特、甚至哥德尔（寄希望于更强的大基数公理解决连续统假设问题而被科恩的方法证明为不可能的）概莫能外。

然而，正是这些清晰明确的立场以及围绕它们的工作，甚至对它们的否定，增加了人类对数学世界的认识。

而另一方面，对理性的乐观不应盲目以至于无视一些已知的结果。

正如哥德尔面对不完全性定理得出的析取式，它告诉我们不存在有穷信息的公理系统能把握全部客观数学。

如果科恩以后的集合论研究一再提示我们关于连续统假设的认识可能是不收敛的，更符合理性主义的选择或许是跟随王浩的建议：“正视我们所知的（doing justice to what we know）”。

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。