四色定理的机器证明被所有数学家们认可。

提出“勾股定理”的古希腊数学家是？（） 发现勾股定理的古希腊数学家是( )。 中国数学史上最先完成勾股定理证实的数学家是（　　） 哪一公式被数学家们评价为“上帝创造的公式”（） "文华逾九章, 拓扑公式彪史册;俊杰胜十书,机器证明誉寰球。是对数学家成就的高度概括，这位数学家是( )。   提出“一笔画定理”的数学家是（）。 下列数学家当中，属于宋元四大数学家的有：（） 在数学届被称为“陈氏定理”的是我国哪个数学家发表的数论定理？ 最早提出勾股定理的是我国古代数学家（）。 北宋数学家秦九韶提出的“（）”被国际数学界称为“中国剩余定理”，“（）”被称为“秦九韶程序”。 有“数学家之英雄”美誉的数学家是____________。 让机器证明数学定理是经验主义、符号主义_ 费马大定律是在1994年被英国著名数学家怀尔斯证明的（） 四色印刷的四色是指（）。 四色印刷的四色是指()。 “数学家希尔伯特、华罗庚都是教育家”由此可以推出的结论是: 教育家都不是数学家|教育家都是数学家|数学家都是教育家|有的数学家是教育家 作为加强命题条件的退让,希伍德将“四色猜想”改为“五色定理”（） 中国大学MOOC: 霍金与英国数学家彭罗斯共同提出了“奇点定理”。 我国古代数学家秦久韶是中国剩余定理的发明者。 中国剩余定理的发明者是我国古代数学家秦久韶。