风行天际

我们面对的重大问题无法在我们制造出这些问题的思考层次上解决。                                          ――爱因斯坦
写下这个题目，不免有些惊心动魄，这些主题词未免太大了，还好本文只是对这些主题词的相关方面作一些初步的探讨。
 1．悖论
悖论自古有之。比较出名的是说谎者悖论：一个人说了一句话：“我现在在说谎”。我们来分析一下这句话是真话，还是谎话。假设这句话是真话，由它的内容所指，则这句话是谎话；反过来，假设这句话是谎话，那么“我现在在说谎”就是谎话，因此他说的是实话。
阅读全文——共6096字

佛经说数量很多，经常用的说法就是“如恒河沙数”，如“末法时期,邪师说法,如恒河沙 出自净空法师”，“我见到彼土,如恒河沙众多之菩萨”等等。
恒河是印度第一大河，恒河沙当然很多很多。不过我们知道，一粒一粒去数，总能数完，也就是有限集合。不过有限集合就不好玩了。
我们也可以认为，体积越小的沙子就越多，比如，体积为v的沙子数是体积为2v的沙子数目的两倍；这样，无限多可能的细沙的数目就是无穷的。
数理逻辑中对于无限集合有可数集合和不可数集合之分。可数集合是可以和自然数建立一一对应的集合。按照上面的假设，“恒河沙”是不是可数集合？
阅读全文——共956字

 《数理逻辑》是计算机元科学的重要部分，特别是由其支撑的《可计算性与计算复杂性》更加重要。后面这一门课，较难理解，被某些研究生戏称为《可郁闷性与郁闷复杂性》 。最近看《数理逻辑》，想到几点，列一专题供探讨。
目前想到的几个题目：

恒河流沙和大千世界的可数性
阅读全文——共207字