发现并证明勾股定理的西方数学家是：A、泰勒斯B、苏格拉底C、毕达哥拉斯D、柏拉图

被西方称为“物理学之父”，并提出“给我一个支点．我就能撬动地球”的名言的物理学家是（）。A．亚里士

发现并证明勾股定理的是A、苏格拉底B、泰勒斯C、柏拉图D、毕达哥拉斯

真正通过证明得到“三角形勾股定理”的是哪位科学家？A、伽利略B、毕达哥拉斯C、祖冲之D、培拉里奥

勾股定理在西方被称作是（)定理。A、高斯B、毕达哥拉斯C、泰勒斯D、欧拉

1972年 法国马赛大学的阿兰·卡麦劳发明了( )语言 它是继LISP语言后的在人工智能领域中的又一种编程语言 用于数学定理证明。

试把闭域套定理推广为闭集套定理 并证明之 闭集套定理:设{Dn}是R2中的闭集列 它满足:i)ii) 则存在唯一的