填空题 刘徽创造了一种测量可望而不可即目标的方法，叫做“（）”。

填空题 （）在数学上最大的贡献是开创了命题的证明，使数学从直观判断跃升为逻辑证明，从而使数学定理更可靠了。

填空题 （）的对数表是我们现在用的四位常用对数表的先驱。