谁提出了“数学机械化”的思想？

['A. 吴文俊', 'B. 陈省身', 'C. 丘成桐', 'D. 陆家羲']

📖 相关文章

• 以下哪位数学家不是“数学分析”的奠基人之一？
• “群论”的创始人是哪位数学家？
• 以下哪位数学家不是“菲尔兹奖”得主？
• 我国哪位数学家被国际上誉为“东方国度上灿烂的数学明星”？
• 哪位数学家证明了“哥德巴赫猜想”的“1+2”？
• “数学之神”指的是哪位数学家？
• 以下哪部数学著作是我国现存最早的数学专著？
• “微积分学”的创立者之一是哪位科学家？
• “近代概率论之父”指的是哪位数学家？
• 以下哪位数学家不是“解析数论”的创始人之一？