命题：实数集上的任何一个可数种颜色染色方案，都存在四个不等的同色点使得。

这个问题是一个月前在Computational Complexity看到的。前两天在测不准原理还是不确定性原理我提到了不可证明问题，今天顺便把上面这个问题拿出来溜一溜。
这是一个非常非常自然的问题，看上去就是一个普通的组合问题，类似于Ramsey问题的变种，而且研究这个问题的（包括Erdos!）也...

我前方是一个美丽的背影。
此刻，在我观测之前，她是50%的ＭＶ，50%的ＫＬ。是两者量子态的迭加。
我摒住呼吸，轻轻的踏上一步，头微微一扭---
说时迟那时快，在这一瞬间，波函数轰然塌缩，一切都无可挽回了。
我默默的走开，心中的悲哀难以自抑。
我知道我刚刚杀死了一名绝世美女。
最近在看《上帝掷骰子吗——量子物理史话》，刚看到...