百科问答小站 logo
百科问答小站 font logo



数学上是否存在这样的情况,给定条件已经能确定结果的唯一性,但就是求不出来!据说椭圆周长就是。? 第1页

  

user avatar   inversioner 网友的相关建议: 
      

看来题主刷抖音的品味相比许多人来说还是挺高的嘛。不过最好不要试图在这种娱乐平台上学习东西,放松就放松,这上面基本上没多少知识性的东西能看。

那个做视频的人混淆了“可以计算”与“可以求出初等表达式”的概念。初等表达式是只用初等函数表示的有限长式子,椭圆周长没办法这样表述。但是如果允许使用椭圆积分的值表达的话,那么椭圆周长就可以用一个简洁的式子写出来。而椭圆积分的计算早就被征服了。

至于有没有真的连计算都整不出来的东西,可以搜索一下蔡廷常数。


user avatar   the-areas 网友的相关建议: 
      

存在。可以构造出来一个数,使得不存在一个程序给定n能算出这个数的小数点后前n位。

设程序语言有 种不同合法字符,且长度为 的程序中有 个会终止。设 。因为程序最后一个字符一定是EOF,长度为 的程序有 个,所以 。我们证明 就是这样一个数。

引理:不存在一个程序可以判断任意给定的程序是否能终止。
证明:假设这样一个程序 存在,其中 为给定的程序。定义程序 做以下递归操作:如果 输出“能终止”,进入死循环;如果 输出“不能终止”,终止。这样 的输出结果就是错误的,矛盾。

下面假设存在一个程序能以任意给定的精确度算 。

给定一个长度为 的程序 。我们有 。设正整数 满足 。枚举所有长度不超过 的程序,然后让它们同时运行。在某一时刻,会有 个长度为 的程序终止, 会不断增加,并逐渐逼近 。在有限长的时间中就会有 成立;要验证这个只需开始时把 算到误差在 以内。在这时,如果 还没有终止,那么我们就可以确定 不能终止了,否则在 终止以后 就超过 了,矛盾。所以这种方法可以在有限长的时间里判断 能否终止,这与引理矛盾。

所以假设的程序不存在。




  

相关话题

  一个教授逻辑学的教授,有三个非常聪明的学生,怎么猜数字的? 
  初中数学考19分还有救吗? 
  围棋黑子贴7.5目,有数学理论依据吗? 
  同样是社会主义,为什么苏联能从20世纪后半叶至解体前培养出那么多数学大师,中国却不能? 
  如果百年后深度学习最终有了公认的数学理论作为基础,能解释实验中的各类玄学,那这个理论会长什么样子? 
  运用复数证明平面几何的原理有哪些? 
  对于随机抽取的情况,概率最大值总是在数学期望附近取到,这是一个定理吗? 
  人类对自然科学的探索是否会因其自身的复杂而走向停滞? 
  为什么我会觉得证明极限的过程完全是在套公式? 
  格林公式的物理意义和几何意义是什么?为什么格林公式与路径无关? 

前一个讨论
想问一下大家这个18题是哪个结论的背景吗,应该如何想,第一次见这种题目?
下一个讨论
学数学有什么好处?我们为什么要学数学?





© 2025-05-26 - tinynew.org. All Rights Reserved.
© 2025-05-26 - tinynew.org. 保留所有权利