《昔日玫瑰》by长铗的思考

鸭子

我打分的时候主旨给了9分，简单说一下理由

此情此景，我禁不住叹道：“她真像沉沉夜色中的亚历山大灯塔啊！”
“不，”来自昔兰尼的叙内休斯转过头来对我说，“她不是灯塔，她是比光永远更早到一步的黑暗。”
哲学家的话令我一激灵，时隔五十年仍在昨。多么睿智的见解啊，知识好比星空中被星光所照亮的空间，杰罗姆们就像秉烛而行的夜行者，他们相信星光最终会充满宇宙的每一处，就像钻石般晶莹剔透没有盲点；海帕蒂娅就像深邃的夜空，她指出计算机器的不完备性、递归计算的非万能性、倍立方问题的不可解性……星光所照亮的区域相对于无穷广袤的夜空，终究是微不足道的。

我认为这篇的主旨（之一，但比其他枝节主旨重要）集中展现的实际上是这段，这是值我的主旨9的，而且好像并没有别的篇目有表达这一主旨，晚安忧郁提到了相关内容但也只是触之皮毛。“认识到认识的有限性”也是一种真理，这种真理的美感是比一般认识的美感更具有冲击力的。而这篇在古代场景下用朴素的方式把一些相关的命题和思考展现得很好。
· 倍立方体、三等分角不可解
· 五次方程无根式解
· 哥德尔不完备第一定理：任何包含初等数论的形式系统，若自洽，则必定存在既不能证明也不能证伪的命题。
· 哥德尔不完备第二定理：系统无法自证其一致性。
· 海森堡不确定原理：无法同时精准测得粒子的位置和动量。
· 希尔伯特第十问题的不可判定性：希尔伯特提出“是否存在一个算法，能判定任意整系数丢番图方程（如x^n + y^n = z^n）是否有整数解”，被证明不存在这样的算法。
·连续统假设：“是否存在一个基数介于自然数集之间的集合”，这一假设在目前的数学公理系统中既不能被证明，也不能被证伪。它表明即使在严格的公理框架下，仍有命题超出人类当前认知体系的判定能力。
· 不可计算数的存在：实数集是不可数的，而可计算数（能用有限算法描述的数）是可数的，因此绝大多数实数是不可计算的（如蔡廷常数，它表示随机生成的程序会停机的概率，其值确定但无法被精确计算）。这说明数学中存在大量“可知其存在，却无法具体认知”的对象。
……
人类发明科学来描述和表达世界，用严谨的推演和计算诠释认识和直觉，这就像用画笔描摹物象和心境一样，这就是为什么我认为科学是一种艺术，也是为什么科学具有美感。而这种事情穷尽到最后往往不存在终极之终极，不存在绝对的评判和验证方式；对于同一客体又可以有完全不同的表达方式，又没有哪一种是真或假一说。

这个话题这篇写到这个程度我觉得是可以给到主旨9分的。相关话题讨论地更深入上限可以有10分
当然这篇不足也是有的，但相对来讲比较成熟，而且我评价是瑕不掩瑜原则

鸭子

跳出这篇我再讲一些我对于主旨的思考：科幻作品（尤其硬科）呈现一种灵感也算是一种主旨，不一定必须要表达社会性的思考，这些主旨包括：“这个世界可能是这个样子的”、“我认为这样的事物存在或将来必定存在”、“如果世界是这样的会发生什么”、“我认为人类的科技树这么点”、“我提供一种新的思考问题的角度”……