单项选择题 2002至2003年间，佩雷尔曼证明了（）

单项选择题 （）破天荒地第一次分清了数学中“真”与“可证”是两个不同的概念。

单项选择题 维纳的最优设计过程涉及一个很重要的概念叫“（）”，即将每一步输出的结果与理论值之误差重新作为输入对系统进行调节，使之实现最优状态。