p********r
发帖数: 4210 | |
k******r
发帖数: 2300 | 2 你需要首先把需求写的非常清楚 没有半点含糊的地方 |
T****t
发帖数: 11162 | |
T*R
发帖数: 36302 | |
p********r
发帖数: 4210 | 5 定义平面
定义直线
定义直角
就行了吧。
【在 k******r 的大作中提到】
: 你需要首先把需求写的非常清楚 没有半点含糊的地方
|
k******r
发帖数: 2300 | 6 最重要的是你需要严格定义什么是“证明”了勾股定理
: 定义平面
: 定义直线
: 定义直角
: 就行了吧。
【在 p********r 的大作中提到】
: 定义平面
: 定义直线
: 定义直角
: 就行了吧。
|
s******r
发帖数: 5309 | |
p********r
发帖数: 4210 | 8 简单一点，求a^2+b^2-C^2
复杂一点，用a，b表示c，最简化。
【在 k******r 的大作中提到】
: 最重要的是你需要严格定义什么是“证明”了勾股定理
:
:
: 定义平面
:
: 定义直线
:
: 定义直角
:
: 就行了吧。
:
|
l**a
发帖数: 11 | 9 勾股定理最早是一个统计事实。如果是找参数之间的关系，那么这就容易了。
给电脑一些例子，然后让它自己找例子。估计出的参数会渐渐收敛到稳定值。
但如果把勾股定理理解为一个抽象推导——提出一个猜想，然后验证之——那不容易用
电脑做，因为提出猜想这本身是艺术，不是科学。
【在 p********r 的大作中提到】
: 马工来回答一下。
|
p********r
发帖数: 4210 | 10 不许用三角函数。。
【在 T*R 的大作中提到】
: 三角函数？
|
|
|
s******r
发帖数: 5309 | 11 他问的是电脑能不能做出来六年级的习题，不是研究数学。
俺觉得电脑的方法肯定是上网找到答案然后抄一遍写上自己的名字。
【在 l**a 的大作中提到】
: 勾股定理最早是一个统计事实。如果是找参数之间的关系，那么这就容易了。
: 给电脑一些例子，然后让它自己找例子。估计出的参数会渐渐收敛到稳定值。
: 但如果把勾股定理理解为一个抽象推导——提出一个猜想，然后验证之——那不容易用
: 电脑做，因为提出猜想这本身是艺术，不是科学。
|
b*******8
发帖数: 37364 | 12 光欧式几何的公理体系还不够吧，因为有面积的概念。严格证明得引入测度论的公理体
系。 |
k******r
发帖数: 2300 | 13 这是远远不够的 到底是你提供比如一万组数据 结果是符合的 还是任何人提供任意多
组数据 结果需要永远是符合的？
: 求a^2 b^2-C^2
【在 p********r 的大作中提到】
: 不许用三角函数。。
|
p********r
发帖数: 4210 | 14 你们马工研究大数据，就研究出个这。比我们千老灌电镜结构还垃圾。
【在 s******r 的大作中提到】
: 他问的是电脑能不能做出来六年级的习题，不是研究数学。
: 俺觉得电脑的方法肯定是上网找到答案然后抄一遍写上自己的名字。
|
p********r
发帖数: 4210 | 15 你是马工你来回答。我能回答我还做千老？？
【在 k******r 的大作中提到】
: 这是远远不够的 到底是你提供比如一万组数据 结果是符合的 还是任何人提供任意多
: 组数据 结果需要永远是符合的？
:
:
: 求a^2 b^2-C^2
:
|
s******r
发帖数: 5309 | 16 上网找到正确答案还是需要一定智商地。 大部分马工的工作就是去github找个代码改
改再写上自己的名字，就这还有大包裹。
【在 p********r 的大作中提到】
: 你们马工研究大数据，就研究出个这。比我们千老灌电镜结构还垃圾。
|
l**a
发帖数: 11 | 17 那电脑怕是做不了，从机器的角度看 ，数学是艺术，不是科学。对机器来说，只有数值
计算才是可以处理的“科学”。机器能处理的科学只是科学的一个小子集。
所以AI肯定替代不了做纯数学的数学家。
【在 s******r 的大作中提到】
: 他问的是电脑能不能做出来六年级的习题，不是研究数学。
: 俺觉得电脑的方法肯定是上网找到答案然后抄一遍写上自己的名字。
|
t******x
发帖数: 55 | 18 这是正解，现在的AI大数据其实就是这个原理
【在 s******r 的大作中提到】
: 他问的是电脑能不能做出来六年级的习题，不是研究数学。
: 俺觉得电脑的方法肯定是上网找到答案然后抄一遍写上自己的名字。
|
p********r
发帖数: 4210 | 19 波熊展开说说。
【在 b*******8 的大作中提到】
: 光欧式几何的公理体系还不够吧，因为有面积的概念。严格证明得引入测度论的公理体
: 系。
|
k******r
发帖数: 2300 | 20 这是你的需求 不是我的 我的需求很简单 输入一个3 一个4 然后输出一个5 我做好了
我charge 你34500$
: 你是马工你来回答。我能回答我还做千老？？
【在 p********r 的大作中提到】
: 波熊展开说说。
|
|
|
g******t
发帖数: 11249 | 21 知道是哪个包也不容易啊
【在 s******r 的大作中提到】
: 上网找到正确答案还是需要一定智商地。 大部分马工的工作就是去github找个代码改
: 改再写上自己的名字，就这还有大包裹。
|
p********r
发帖数: 4210 | 22 你这水平估计很快要被你印度满内急开除了。
了
【在 k******r 的大作中提到】
: 这是你的需求 不是我的 我的需求很简单 输入一个3 一个4 然后输出一个5 我做好了
: 我charge 你34500$
:
:
: 你是马工你来回答。我能回答我还做千老？？
:
|
r*g
发帖数: 3159 | 23 1980年在 HP9835A机上，用吴文俊方法成功地证明了勾股定理、西姆逊线定理、帕普斯
定理、帕斯卡定理、费尔巴哈定理,并在45个帕斯卡点中发现了20条帕斯卡圆锥曲线,这
种方法还推广到微分几何，将微分几何曲线论中的贝屈朗定理推广到仿射微分几何。吴
文俊的研究成果引起了国际学术界的重视。
普通马工可能搞不定，但老早就做到了。
【在 p********r 的大作中提到】
: 马工来回答一下。
|
g****y
发帖数: 2810 | 24 证明是不难的，因为是已解问题，跟符号运算一样，你自己证明好了，用计算机模拟一
遍就行了。
推导某个结果做不了的，或者说证明一个未解问题是不行的，不能靠计算机模拟了，必
需有智能才行。
【在 p********r 的大作中提到】
: 马工来回答一下。
|
d****o
发帖数: 32610 | |
s******r
发帖数: 5309 | 26 属实。Wolfram搞了N年还是错误百出。
【在 g******t 的大作中提到】
: 知道是哪个包也不容易啊
|
p********r
发帖数: 4210 | |
b*******8
发帖数: 37364 | 28 水平不够，展不开，没法细说。感觉A×B=C*D的这类证明，可以写成A/C=D/B，用相似
三角形证明，不扯到面积。好像有个勾股定理的证明就是这么来的，那就不用扯面积。
从直角顶点做斜边垂直线把斜边C分成两段X和Y，C*X正好是A平方，C*Y正好是B平方。
其他的主流算法都是用面积，隐含了面积的定义。人好理解，但计算机要用面积的话，
估计得用测度论的公理化。
【在 p********r 的大作中提到】
: 波熊展开说说。
|
b*******8
发帖数: 37364 | 29 都快40年了，这东西怎么好像学术界都没啥影响力？
【在 r*g 的大作中提到】
: 1980年在 HP9835A机上，用吴文俊方法成功地证明了勾股定理、西姆逊线定理、帕普斯
: 定理、帕斯卡定理、费尔巴哈定理,并在45个帕斯卡点中发现了20条帕斯卡圆锥曲线,这
: 种方法还推广到微分几何，将微分几何曲线论中的贝屈朗定理推广到仿射微分几何。吴
: 文俊的研究成果引起了国际学术界的重视。
: 普通马工可能搞不定，但老早就做到了。
|
d****o
发帖数: 32610 | 30 俺又不搞这个，
但看了一下证几个平几定理应该是小case
【在 p********r 的大作中提到】
: 讲解一下具体步骤。
|
|
|
L******8
发帖数: 1211 | 31 呵呵
你说这些都是计算机辅助证明，而不是证明
万里之遥
【在 r*g 的大作中提到】
: 1980年在 HP9835A机上，用吴文俊方法成功地证明了勾股定理、西姆逊线定理、帕普斯
: 定理、帕斯卡定理、费尔巴哈定理,并在45个帕斯卡点中发现了20条帕斯卡圆锥曲线,这
: 种方法还推广到微分几何，将微分几何曲线论中的贝屈朗定理推广到仿射微分几何。吴
: 文俊的研究成果引起了国际学术界的重视。
: 普通马工可能搞不定，但老早就做到了。
|
s******r
发帖数: 5309 | 32 穷举法可以证明的计算机肯定行。数学归纳法验证公式的也比较easy。还有一些简单逻
辑判断也可以电脑做。这些和楼主要的答案没啥关系。
【在 p********r 的大作中提到】
: 讲解一下具体步骤。
|
k******r
发帖数: 2300 | 33 被开除也不能白流一滴汗啊 胆小的(人)在死之前已经被吓死了
: 你这水平估计很快要被你印度满内急开除了。
: 了
【在 p********r 的大作中提到】
: 讲解一下具体步骤。
|
