韩公廉？

听到这个名字，徐云的表情顿时一愣。

没想到啊没想到。。。

老苏给出的人选.......

居然是他？

韩公廉。

这是北宋一位遗留信息很少的数学家，后世甚至连他的字叫什么都不知道。

只在他的出生地《古平县异志》中，有简单提及过他自号杨怀先生的少许信息。

毕竟这年头的号和后世的B站昵称似的，是个人都能取。

除了那些知名用户，能被记下的普通人也就约定成书和蒙古上单这有数几位罢了。

不过仅仅从那存留的只言片语中，后世依旧能看简单的判断出韩公廉的能力。

宋元祐元年。

韩公廉任吏部当守官，级别是最低的正九品。

当时老苏就任吏部尚书，奉命检验太史局等使用的浑仪，并准备制作一架新仪。

结果老苏在访问过程中，听说韩公廉精通数学、天文学，乃是汴京内数算大家。

老苏便亲自上门，便告之以前代天文学家张衡、梁令瓒、张思训等人的仪器法式大纲。

希望他能寻根究底，依之仿制。

韩公廉为此写了《九章勾股测验浑天书》1卷，并制作了一座机轮木样的模具。

老苏看过之后认为虽不尽如古人之说，然而水运轮的设计却有独到之处，具备很高的可行性。

因此便选定了这套方案，并且上表朝廷，得到了批允。

元祐二年。

韩公廉被命为制度官，开始制作新仪。

元祐七年。

该仪最终完成，被命名为元祐浑天仪象。

同时在历史上，韩公廉也被认为是元祐浑天仪象制作过程中，除老苏外最关键的人物。

所以由此可见。

韩公廉在史书上的文墨虽然不多，但数学方面的能力显然是要远高于普通人的。

从某种角度上来说。

他其实很像后世一位名叫埃德尔的葡萄牙球员。

此前默默无闻，大家几乎都没怎么听过他的名字，也从来没怎么上过场。

结果在2016年欧洲杯决赛替补出场，一剑封喉帮助葡萄牙夺冠，完事后就又没声儿了。

没办法。

虽然宋朝的数学发展的非常迅速，奈何封建王朝终究是以人事斗争为主。

很多数学家并没多少机会展现身手，更别提被载入史书了。

当然了。

道理虽是是这么个道理。

但若真是那种顶尖到极致的数学家，多多少少都应该能在史书上留下一些记载。

比如秦九昭。

比如杨辉。

又比如拐走诺贝尔老婆的那个人，好吧这个不算......

所以说句比较客观的定位：

韩公廉应该是那种数学方面的高级、甚至接近顶尖的人才。

但离‘时代天花板’的距离，恐怕还有点儿远。

因此徐云想了想。

还是准备再问问老苏，看看能不能多找几个类似韩公廉的人才。

毕竟这次的计算工作量还是挺大的，鸡蛋也不能只放在一个篮子里嘛：

“老爷，若是按您所说，杨怀先生显然是个相当不错的人选。

不过天文望远镜所需的数算步骤极其繁杂，单靠一人恐怕将会费时费力。

因此老爷若是还有人选，不妨多找几位数算能人前来协助，也算是以备万一之策。”

老苏一边听一边点头，看上去接受了这个建议。

他曾经见过徐云鼓捣发电机和电解池，知道风灵月影宗的一些知识非同一般。

恐怕和现有认知有些出入，甚至可能需要重新刷新一番固有认知。

如果只请了个韩公廉，对方能理解公理那姑且还好说。

但要是出现了卡顿或者疑惑。

那么整个天文望远镜的‘复原’过程，就很可能出现延迟甚至停滞了。

随后他仔细回想了一番自己认识的数学家，过了小半分钟，他忽然眼前一亮：

“小王，你所说的数算知识，可否用文字大致描述下来？”

徐云有些奇怪的看了他一眼，有些疑惑老苏的目的，不过还是点了点头：

“此事不难，毕竟小人本就是从书上看到的内容，概述一些关键点还是很容易的。”

老苏见说大手一挥，兴奋道：

“如此甚好，稍后你随我前往书房，撰写一封书信，寄往应天府。

有一位当世数算大家在府中乡野结庐而居，若能说动他前来汴京助力，镜面精度必能算成！”

看着头一次表现出如此兴奋与推崇态度的老苏，徐云顿时来了兴趣：

“不知是哪位大家？”

老苏沉默片刻，组织好语言，面带些许崇敬道：

“此人姓贾名宪，师从九章推步大师楚衍......”

老苏的这番话还没说完，徐云的眼皮便狠狠抽了一下。

妈耶。

居然是贾宪？

这个古代数学史上丰碑级的人物，这个时候居然还没死？

说道古代华夏的知名数学家。

很多人的脑海中第一个想到的，大概率都是祖冲之。

也就是全世界第一个将圆周率精算到小数第七位的男人，比欧洲要早一千多年。

但除了祖冲之外，华夏还有不少数学方面的牛人。

并且可以按照他们的贡献和方向，划分出很多类别。

比如以对现代数学影响力而言，秦九韶无疑当属首推。

因为本土数学中只有他的大衍求一术和中国剩余定理，仍然被现代数学所保留。

其余的各种华夏古代数学技术和数学工具，都是被西方数学家另起炉灶重新发明的。

若是以划时代的开创性而言。

那么无疑首推刘徽和朱世杰，因为他们分别对应着华夏两个数学高峰上的两次巨大的飞跃：

刘徽整理了整个秦汉时期的数学知识，奠定了华夏古代数学的整体框架，总结了线性代数的整体计算框架。

大体上类似希腊数学中的欧几里得。

朱世杰则整理了唐宋以降的数学，规范了天元术的数学框架，将华夏的代数从无符号计算带入了有符号计算。

而在三角领域中，贾宪无疑是个大牛中的大牛。

还记得1665副本中提到的杨辉三角吗？

杨辉三角其实就是由贾宪提出来的，所以有些人会叫它贾宪三角。

不过由于著作失传的缘故，他的优秀思想被另一位大数学家杨辉记录了下来。

因此后世才以杨辉三角为名定义了这个规律。

11年亚洲数学大会给出的理由是杨辉的记录有实物佐证，这逻辑其实也没啥毛病。

另外。

贾宪还创造了“增乘开平方法”和“增乘开立方法”的开方方法，

也就是求高次方程数值解的一类高效方法。

没错。

求高次方程数值。

要知道？

真年头的欧洲，还正在使用“罗马数码”呢。

没错，数码，连表数都十分困难，更不用说作这么复杂的开方运算了。

贾宪增乘开方法的计算程序，大致和欧洲数学家霍纳（公元1819年）的方法相同，但比对方早了770年。

而这也恰恰是镜面精度计算中的一道重要环节，并且还有很多衍生数算公式要解。

也就是说。

无论是从能力还是专业角度出发，贾宪都是一位要比韩公廉合适的多的人选。

但与此同时。

他也是徐云计划之外的人物，徐云一开始压根就没考虑过他。

因为贾宪此人的生卒时间后世同样无人知晓，但大多数看法都是他在宋徽宗即位之前就挂了。

根据《宋史·艺文志》记载。

贾宪在1050年左右完成了《黄帝九章算经细草》，当时他担任的是左班殿直的职务。

左班殿直是三班之一，正九品官职。

根据后世收集到的宋代官职与年龄的对照表来看，左班殿直一般是由25-35岁的成年男子担任。

同时王洙在《国朝会要》中写过一句话：

“宪今为左班殿直，吉隶太史。宪运算亦妙，有书传于世。”

王洙撰写《国朝会要》的时间是1043年，成书在1045年秋天。

也就是说。

公元1045年的时候，贾宪最少都已经25岁了。

眼下是公元1100年，过去了整整好55年。

贾宪若是还活着，保底都有八十岁，甚至可能九十岁或者更高。

老苏虽说也是八十岁高龄，但他是谁啊？