博文
有两片相同的树叶和没有两片相同的树叶是不是一样的问题
||
王老师有一篇博文，
很有意思，
可惜不能评论。
可惜不能评论。
下面俺也乱弹几下，
讨论一下什么是真的，
什么是有……
王老师讨论了两个命题：
“没有两片相同的树叶”
与
“一定有两片相同的树叶”。
“一定有两片相同的树叶”。
并认为这两者的正确程度是一样的。
事情究竟如何呢？
本文认为：
“两个命题的的正确程度是不一样的”。
如王老师所言，
“前者要求把所有树上的所有树叶都比较过来，外加上没有长出的树的没有长出的叶子。”
这是一个存在性问题，
如果第二个问题是不可证明的，
那么这个问题是不可知的……
不可知，
意思就是说，只能一个一个的检验，
在明天没有到来之前，
不能断言“明天太阳会继续从东方升起”……
而后者，
只需要找到两个相同的叶子即可。
只需要找到两个相同的叶子即可。
它是可能从理论上给予证明的。
可能的意思是——
如果我们的几何基础不是从点线面式公理发展，
而是从图形形状开始，
如果我们的几何基础不是从点线面式公理发展，
而是从图形形状开始，
建立一个由若干基本元素构成的几何学基础，
那么，
利用抽屉原理，
如同证明“任意六个人中，必有三个人相互认识，或相互不认识”那样，
那么，
利用抽屉原理，
如同证明“任意六个人中，必有三个人相互认识，或相互不认识”那样，
我们就不会惊诧于找到两片相同的树叶。
这里的问题不在于
我们有没有这样的几何学基础，
而在于有这样一种可能性的存在……
因此，
一般地说，
一般地说，
二者在哲学上不是完全“等价”的。
尽管如此，
在几何学或者其他某个生物研究学说没有进一步发展之前，
我们目前还不能完全理直气壮地说，
“世界上一定有两片相同的树叶”……
我们目前还不能完全理直气壮地说，
“世界上一定有两片相同的树叶”……
以上就是两个命题的不同所在……
进一步地说，
即使我们我们可以断定
有“两片相同的树叶”是可能的，
比如说，
考虑一种简单的平面情形，
假设
我们认为相同就是树叶的表面图形相同：
按照目前计算机中的真彩色表示,
每个像素用4个字节表示，RGB各占一个字节，
再假设取小一点的树叶，
比如所有小于16×16=256像素的树叶
一个像素大约2(32)种情形，
假设不大于256个像素的全部空间排列数记作X,
那么，
只要收集到Y =（X*2(32)+1）个不大于256像素的树叶，
则至少有两片是相同的。，
可是，
我们同样不知道
能否收集到Y片树叶呢……
有些命题是真的，
但是却未必会存在……
而另外一个需要考虑的情况是，
即使只考虑1个像素的叶子，
那么，
我们的真彩色表示就是合格的麽？
这就是说，
判断相同的标准还在于计数方法，
一个合适的计数方法往往应该满足，只要愿意精确，总是可以进一步的加以描述……
这样一来，或许可以说，
等于本来就不存在！
因此，
真正的问题在于，
我们没有讨论，
究竟什么是“相同”，
什么是“存在”，
什么是“真”……
关于相同，
常见的情形就是
归结为关于计数方法的约定……
关于“真”的讨论很多，
理论及实践表明，
在大部分情况下，
“真”只是一种集体约定，
你隶属于什么样的圈子，
就会隶属于什么样的“真理”约定……
关于存在，
近现代科学实验表明，
我们的听觉不可靠，
嗅觉不可靠，
触觉不可靠，
视觉不可靠……
似乎一切都是不可靠的。
这就是说，
一个人的面前的
山山水水，声色犬马
都可能是机器带来的心理感觉……
而存在，
可以简单地说，存在无法定义……
也可以简单地说，存在就是我喜欢……
https://blog.sciencenet.cn/blog-618605-532171.html
上一篇：资本是万恶之源
下一篇：与韩寒打官司，方舟子赢得的几率是不是零
