风行天际

威廉·布莱克（William Blake）是英国著名的神秘主义诗人。他在中国知名度最高的诗歌是《天真的预言》（Auguries of Innocence）。原文第一段如下：
To see a world in a grain of sand,
And a heaven in a wild flower,
Hold infinity in the palm of your hand,
阅读全文——共3971字

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

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

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