学者形象 先驱 江湖 丹麦 数学表 金针 实践理性批判 第谷 巴贝奇 康德 超新星 君子 天文学家 小说 尼斯 计算机 金庸 生平履历 初读 思想