虎扑体育网

数学上的长度和物理上不一样好吧。。。。跟普朗克长度半毛钱关系没有

π是无理数是经过严格证明的。不存在这个如果。---------------有些回帖的同学真特么无所畏惧，你们让我对虎扑的常识下限又有了新认识。我有心把证明派是无理数的过程贴上来，但我知道你们看不懂。再说一次，数学不是科学，数学是逻辑学，数学上证明一个结论是需要严格的逻辑过程的，也就是由一系列真得到一个真，如果派不是无理数，那么它就违背了它自身的定义，这和什么科技会发展、没有绝对性完全不是一回事。拿一个简单的来打比方，根号2是无理数，为什么？反证法：假设根号2是有理数，则它必可表示为既约分数p/q则2=p方/q方，p方=2q方则p方是偶数，p必然是个偶数，因为奇数乘以奇数只可能是奇数。设p=2k，则p方=4k方，则q方=2k方，同理，q方也是偶数，q自然也是偶数。故p和q都是偶数，这与p/q为既约分数相矛盾，所以假设不为真，所以根号2不能表示为既约分数p/q，所以根号2只能是无理数。懂了吧，这套逻辑流程跟什么科技发展寻找反例完全没有关系，除非你另搞一套数学逻辑，否则根号2一定是无理数，你算多少位都是无理数。而且算不尽。“如果它居然算尽了”，那它就不是根号2。派也一样，大概200年前它就通过类似的逻辑流程被证明为无理数，那它在当前数学逻辑下只可能是无理数，就跟根号2一样，不存在什么假若算到头。证明派是无理数的科普论文满百度都是，你们能不能把高傲的无知稍微收敛一下，随便查一查表达一下对知识的尊重？-----------------玛德醒来看了一圈回复破大防，居然有不少人告诉我要先证明有理数必可表示为既约分数，你们认真的吗？？你们认真的吗？？？？？补充说明两条：关于数学不是科学而是逻辑学：因为两者方法不一样，科学是个方法论，它的目的在于先假设世界是可知的，然后我们要选择一个可信的体系来描述现实，然后根据经验和实验结论找到这个体系，这个体系之后和实验结论吻合得很好，那它目前就是可信的，除非实验精度增加我们发现这个体系有误差，我们就升级体系来避免误差。总之，科学认为我是错的，我只是在尽可能接近现实。数学是我先断言一些底层设定是对的——比如1是数字单位，等量加等量还是等量，整体不小于部分，五大公设……然后我根据这些底层设定推导一个体系出来。你不爽你自己搞一套设定去。（非欧几何就是自己搞了一套设定，当然这是因为平行公理跟其他公理不抱团）我要接近现实？滚，现实跟我有什么关系？关于哥德尔不完备性定理：哥德尔证明了在数学体系中非所有真均可证，也就是它的意思是必然存在至少一条猜想，它是真的，但在数学逻辑下证明不了。但它又没否定可证均为真。只是以前人们认为可证和真是等价的，现在明白可证是真的充分条件，真只是可证的必要条件罢了。这是逻辑本身的不完备性，不但数学，一切形式系统都遵循这个定理。