声明：本网部分信息转载于其他网站，如稿件涉及版权等问题，请联系我们！>> 联系 qq:139-- -文字编辑器加载中...
照片编辑器加载中...
视频编辑器加载中...
网址编辑器加载中...
让被定义为幂序列谁的这项有一个系数等于个素数，
函数有一零点（OEISa088751）。现在让被定义的
让被定义为序列谁的这项有一个等于个&，
函数有一零点（OEIS）。现在让被定义的
（OEIS）。
然后，巴克豪斯推测
（OEIS）。这一限制随后被证明由P. Flajolet存在。请注意，，这 从对 倒数幂级数。这个巴克豪斯的常数是[ 1，2，5，5，4，1，1，18，1，1，1，1，1，2，&]（OEIS&），这是一样的连分数也除了 领先后者的0。
第四部分 开发工具及测试工具主要介绍和Android开发工具和测试工具相关的开源项目。
一、开发效率工具
Json2Java根据JSon数据自动生成对应的Java实体类，还支持Parcel、Gson Annotations对应代码自动生成。期待后续的提取父类以及多url构建整个工程的功能项目地址：https://github.co...&
&第四部分 开发工具及测试工具主要介绍和Android开发工具和测试工具相关的开源项目。
一、开发效率工具
Json2Java根据JSon数据自动生成对应的Java实体类，还支持Parcel、Gson Annotations对应代码自动生成。期待后续的提取父类以及多url构建整个工程的功能项目地址：
在线演示：
IntelliJ Plugin for Android Parcelable boilerplate code generationAndroid studio插件，生成Parcelable代码项目地址：
Android Holo Colors IntelliJ PluginAndroid studio插件，生成holo样式9 patch图片项目地址：
Android Drawable Factory用于生成各个分辨率的图片项目地址：
SelectorChapek for AndroidAndroid Studio插件，可根据固定文件名格式资源自动生成drawable selectors xml文件。项目地址：
Android Action Bar Style GeneratorAndroid ActionBar样式生成器，可在线选择ActionBar样式自动生成所需要的图片资源及xml文件项目地址：
在线演示：
ButterKnifeZelezny用于快速生成View注入代码的Android Studio/IDEA插件项目地址：
RoboCoP利用Gradle task根据固定格式的json文件生成ContentProvider项目地址：
appiconsizes用于生成各个分辨率的图片项目地址：
Gradle Retrolambda Plugin
是将Java8的Lambdas应用于Java7的工具，本项目是Gradle插件，通过Retrolambda从而使Java或Android项目用Java8的Lambdas编写，将编译后的字节码转换为Java6和7的字节码从而正常运行项目地址：
Dagger IntelliJ Plugindagger的intellij插件项目地址：
Android Gen Drawable Maven plugin在编译时根据SVG描述文件生成不同分辨率的jpg、png或点9图片项目地址：
二、开发自测相关
Quality Tools for AndroidAndroid测试及自测工具集合和示例项目地址：
android-test-kitGoogle的Android测试工具包括GoogleInstrumentationTestRunner(增强版的InstrumentationTestRunner)和Espresso(用于快速写出可靠测试用例的API)项目地址：
文档介绍：
robolectric测试用例编写框架项目地址：
Demo地址：
文档介绍：
特点：(1). 不需要模拟器在一般JVM就可以运行测试用例(2). 能完成在真机上的大部分测试包括感应器其他的测试用例及相关模块Mock可见：,&,&
Android FEST提供一些列方便的断言，可用于提高编写Android自测代码效率项目地址：
BoundBox可用于测试类各种访问权限的属性、方法。实际是通过BoundBox这个annotation生成一个属性和方法都是public权限的中间类并对此类进行测试完成的项目地址：
Hugo用于打印函数信息及执行时间的工具，仅在debug模式生效项目地址：
scalpel在应用下面添加一层用于界面调试，待详细补充 // TODO项目地址：
Android Screenshot libraryAndroid截图工具类，用于在持续集成时截图项目地址：
sonar-android-lint-plugin将android lint的错误在sonar中展现项目地址：
三、测试工具
Spoon可用于android不同机型设备自动化测试，能将应用apk和测试apk运行在不同机器上并生成相应测试报告。项目地址：
Tencent APTAPT是腾讯开源的一个Android平台高效性能测试组件，提供丰富实用的功能，适用于开发自测、定位性能瓶颈；测试人员完成性能基准测试、竞品对比测试项目地址：
Emmagee网易开源的性能测试工具，包括CPU、内存、网络流量、启动时间、电池状态等项目地址：
Android py-uiautomatorpy-uiautomator是一个对Android uiautomator用python进行封装的测试框架.项目地址：
四、开发及编译环境
Buckfacebook开源的Android编译工具，效率是ant的两倍。主要优点在于：(1) 加快编译速度，通过并行利用多核cpu和跟踪不变资源减少增量编译时间实现(2) 可以在编译系统中生成编译规则而无须另外的系统生成编译规则文件(3) 编译同时可生成单元测试结果(4) 既可用于IDE编译也可用于持续集成编译(5) facebook持续优化中项目地址：
Android Maven PluginAndroid Maven插件，可用于对android三方依赖进行管理。在J2EE开发中，maven是非常成熟的依赖库管理工具，可统一管理依赖库。项目地址：
umeng-muti-channel-build-tool渠道打包工具项目地址：
另可参见Google的构建系统Gradle：
Genymotion目前最好用最快的android模拟器项目地址：
Android studio集成控件：&
Cyril Mottier推荐：
gradle-mvn-push方便的将Gradle的Artifacts上传到Maven仓库项目地址：
文档介绍：
Android Emulator Plugin for JenkinsAndroid模拟器 jenkins插件，用于Jenkins做持续集成时跑模拟器测试项目地址：
Android Maven Plugin管理应用所需要的依赖库。包括的构建工具有Maven、Gradle、ant、sbt项目地址：
SDK Manager Plugin下载和管理Android SDK的Gradle插件项目地址：
Gradle Protobuf Plugin将.proto文件转换成Java文件的gradle插件项目地址：
ViewServer允许app运行在任何手机上都可以用HierarchyViewer查看项目地址：
GridWichterle for Android在整个系统上显示一个grid，用来帮助查看应用布局及使得布局更美观，可设置grid网格大小和颜色，android推荐48dp和8dp，可见 Android Design Guidelines & Metrics and Grids项目地址：
PS：比起hierarchyviewer相差甚远，不过偶尔可用来作为布局查看工具。
Catlog手机端log查看工具，支持不同颜色显示、关键字过滤、级别过滤、进程id过滤、录制功能等项目地址：
在线演示：
PID Cat根据package查看logcat日志项目地址：
ACRA应用崩溃信息上报到GoogleDoc工具，网页版展现结果三方开源地址
项目地址：
文档地址：
Crashlytics提供丰富的应用崩溃信息收集轻量级，丰富，可自定义应用崩溃信息收集器，附有邮件通知项目地址：
集成插件：
Android Resource Navigatorchrome插件，可以方便的查看github上android源码工程的styles.xml和themes.xml。主要功能：(1) 快速打开android styles.xml themes.xml(2) 方便在资源间跳转。styles.xml themes.xml文件中资源链接跳转，可以方便跳转到某个资源(3) 方便查找某个style和theme。chrome地址栏输入arn+tab+搜索内容回车即可(4) 自动下载不同分辨率下的drawable(5) 通过映射查找那些不是按照固定命名规则命名的style和theme项目地址：
在线演示：
android-resource-remover根据lint的提示删除项目中无用的资源，减少包的大小项目地址：
Telescope通过手势截图以特定主题发送到特定邮箱地址报告Bug项目地址：
Telescope通过手势截图以特定主题发送到特定邮箱地址报告Bug项目地址：
Complete Android Fragment & Activity Lifecycle完整的Android Fragment/Activity生命周期图项目地址：
一、无聊的序列，奇特的理论在介绍主题以前，我们先来做一件看似无聊的事情。我写下一个数：1然后问你看见了什么。你回答道：&1个1。&我把你的回答中的数字依次写下：11然后问你看见了什么。你回答道：&2个1。&我把你的回答中的数字依次写下：21然后问你看见了什么。你回答道：&1个2，1个1。&我把你的回答中的数字依次写下：1211然后问你看见了什么。你回答道：&...&
一、无聊的序列，奇特的理论在介绍主题以前，我们先来做一件看似无聊的事情。我写下一个数：1然后问你看见了什么。你回答道：&1个1。&我把你的回答中的数字依次写下：11然后问你看见了什么。你回答道：&2个1。&我把你的回答中的数字依次写下：21然后问你看见了什么。你回答道：&1个2，1个1。&我把你的回答中的数字依次写下：1211然后问你看见了什么。你回答道：&1个1，1个2，2个1。&我把你的回答中的数字依次写下：111221然后问你看见了什么。你回答道：&3个1，2个2，1个1。&我把你的回答中的数字依次写下：312211我们可以一直这样下去，得到一个序列，序列里的每一项都是一个数字串。这个数字串序列被称为&边看边说序列&(Look-and-say sequence)，也有人翻译成&外观数列&。注意到其实这并不是一个数列，因为其中的每一项并不是一个数，比如第三项21并不代表数字二十一，而是2和1这两个数字构成的字符串（本文称之为数字串）。咋一看这个序列很枯燥，生成的过程一点技术含量都没有，大概只适合做脑筋急转弯的素材：&请问：1, 11, 21, , 312211接下去一项是什么？&1977年在贝尔格莱德举行国际奥林匹克数学竞赛的闲暇时刻，荷兰队向英国队提出的挑战，似乎是这道脑筋急转弯题的最初记载，不过也许它还有更早的历史。赛后，英国参赛队员将它带回英国，辗转相传。到了1983年11月，轮到在英国剑桥大学教书的著名数学家J&H&康威(John Horton Conway)做这道题了。康威是一位在代数、几何、数论等领域都有相当大贡献的数学家。群论中的魔群月光猜想（一种拥有极其众多元素的被称作&怪兽&的群和模形式之间有意想不到的联系，猜想名字中的&月光&是&疯狂&的意思）由他和Simon P. Norton提出和命名；1998年英国数学家Richard Borcherds因证明此猜想而获菲尔兹奖。康威最为数学爱好者们乐道的则是他在组合游戏理论中的巨大成就，以一系列奇思妙想而闻名。他建立了超实数理论（这是一个把游戏和数结合在一起的理论，其中每个数都是一个游戏局面），并创作了以此理论为基础来分析大量经典（以及自创的）游戏的数学科普书籍《稳操胜劵》。他提出的&生命游戏&更是脍炙人口，让元胞自动机理论广为人知。科普大师马丁&加德纳将《数学嘉年华》一书题辞献给康威，感谢他在趣味数学领域作出了&深刻、优雅和幽默相结合的独特贡献&。不过要比脑筋急转弯，象康威这样出色的数学家似乎也不比一个小学生更厉害。当他的学生抱着点恶作剧的心理拿这题给他做时，康威平时智计百出的脑子不好使了，阴沟里翻船，最终无奈地让学生告知他答案。但和一般人听到答案后呵呵一笑了之不同，直到那年的圣诞节期间，康威还在不断研究&&按照他的说法，是&把玩&&&这个序列，并从中发展出一个怪异而美妙的理论来。在这个理论中有一个小小的宇宙，这个宇宙由92或94种元素组成。这些元素在衰变中互相演化，让这个小小宇宙以每天增长大约30%的速度膨胀。&二、分割、元素、化学定理和算术定理在具体介绍这个理论的内容以前，先让我们也来把玩一番前面这个序列，以便对它的演化有一些直观的了解。把这个序列多写出几项来：
注意到从第8项起在数字串中多写了一个&.&，它将数字串分成了前后两个子串，而这两部分接下去在互不影响地独立演化：
&前子串总是以2结束；这是一个很容易证明的一般规律的特例：如果一个序列以某数字x结尾，那么它的所有后代也总以x结尾。而后子串的开头则以1321&& &1113&&&3113&&&1321&&的形式循环，所以永远不可能以2开始。于是前后这两部分不会再交缠在一起。另一个简单的例子是，如果一个数字串恰好以两个2结尾：&&s22（其中s是不为2的数字），那么它可以分割成&&s.22的形式。因为如上所说，前子串的后代总以s结尾，而后子串的后代永远是它本身：22。从上面的例子里我们看到了这个理论中最重要的现象&&数字串的分割：一个数字串可以分割成若干子串，使得它的演化结果是由这些子串的独立演化结果拼接而成。这样，对一个数字串的演化的研究可以转化成对它的子串的演化的研究。可以把这个现象和正整数的乘法分解作对比。我们知道，每一个大于1的正整数都可以唯一地分解成素数的乘积。素数犹如构建正整数的基本砖块，这个结论因极其重要而被称为算术基本定理，它确定了素数在数论研究中的核心地位。在康威的边看边说序列理论中，和素数的地位相当的是无法再分割得更小的数字串，康威称之为元素或原子。比如说从1开始演化的这个序列的前七项，都是无法分割的元素，而它的第8项则可分割成两个元素：1。这些不可分割的元素就是构建数字串的基本砖块。由元素拼接起来的数字串则被称为化合物。毫无疑问，这种命名方式是一种暗喻，将边看边说序列理论中的对象和化学理论联系起来（当然这绝不是在暗示边看边说序列理论真的是研究现实世界中化学元素和化合物的理论）。在后面大家会看到这种暗喻是相当巧妙和贴切的。因此我们也将相当自由地使用一些很容易直观理解的术语，比如前面谈论数字串的&演化&以及它的&后代&。我们会谈论元素的&衰变&，也就是它的演化过程。数字串每演化一项，我们会说&一天后&数字串如何如何。康威把序列的第一项称为&第0天&，然后依次为&第1天&、&第2天&等等，在本文后续章节中我们甚至会看到&一天引理&和&两天引理&。边看边说序列理论中的元素有许多种，确切地说，有无数种。比如将&13&重复n次的数字串1313&&13就是无法分割的：假设它在某个1和3之间可以分割：&&1.3&&下一步是&&11.13&&出现了跨越分割号的连续三个1，这就是说前面假设中的分割是错误的。假设它在某个3和1之间可以分割：&&13.13&&下面两步是&&&&&&&&出现了跨越分割号的连续两个3，这同样是错误的分割。&康威的重要发现是：存在着一族共有92种特殊的元素，它们之间会互相演化。这92种元素被他称为&普通元素&，并分别以化学元素表中1号（氢）到92号（铀）元素命名。对于普通元素，有如下的结论：
存在92种普通元素（具体的元素列表和它们的性质将在稍后给出）。可以分割成普通元素的化合物称为&普通化合物&（为了简化叙述起见，我们也把普通元素看作是仅由一个元素组成的普通化合物）。
（化学定理）任何一种普通元素的后代都是普通化合物。普通化合物的后代也是普通化合物。除了第1号元素氢（即数字串22）外，从任意一种普通化合物开始，演化足够多天后，得到的化合物将由所有92种元素组成。
（算术定理）从任何一个普通化合物开始，每一步演化得到的数字串的长度和上一步相比，越来越趋近于一个固定常数λ。在此过程中，每种元素在这些数字串中的比例越来越趋近一个（仅和此元素本身相关，而与初始普通化合物的选择无关的）大于0的常数值，称为这种元素的丰度。上述固定常数λ是以下71次多项式的唯一的正实数根（也是所有根中模最大的）：
它约等于1.，称作康威常数。&在整个边看边说序列理论中，最令人吃惊的大概就是上面这个多项式了，乍一看真可谓从天而降，莫名其妙。欲知其妙，则需懂得一些线性代数的知识。我们将在本文后续章节中比较详细地讨论这件事情，并通过在康威发表论文之后线性代数的新成果，得到比以上算术定理中叙述的更好的结果。化学定理指出，普通化合物是一个封闭的圈子，普通化合物只能演化成普通化合物。但是还有一些本不是普通化合物的数字串，它们可以在若干天内演化成普通化合物，掉进这个圈子里去。对这样的数字串来说，上面的结论绝大部分也同样成立，因为考虑的是&演化足够多天后&的事情。比如本文最开始讲到的从1开始的序列，数字串1本身不是普通化合物，但在第八天演化成可以分割为72号元素铪（11132）和50号元素锡（13211）的普通化合物。所以演化足够多天后，得到的化合物也将由所有92种元素组成，数字串的长度和前一天长度之比也将越来越接近康威常数，每种元素在化合物中的比例也越来越接近于此元素的丰度。下面是完整的92种普通元素列表。本文中元素名称前通常以前下标形式注明相应的原子序数以便查询，毕竟不是每个人都能熟练地说出某元素的原子序数；笔者就无法做到这点，所以阅读康威的论文时对此有痛苦感。如果不是要自己动手验证的话，读者大可不必仔细阅读这个表格。这个表里值得注意的有几点：
1号元素氢所代表的数字串22是唯一的衰变到自己的元素。
92号元素铀所代表的数字串3是最短的元素。
除氢外，第n号元素&一天后衰变物&一栏中都有一个加粗的第n-1号元素成份。康威基于这个性质给这92种元素排序，此性质将在后面的论证中用到。这个&第n号元素一天后会衰变出第n-1号元素&的次序并不是唯一的，康威只是挑选了其中一种。
两种元素并不是可以随意拼合在一起的。比如92号元素铀（3）和20号元素钙（12）顺次拼合在一起的结果&312&应看作是另一种元素&&30号元素锌，而非可分割的。而铀（3）和91号元素镤（13）顺次拼合在一起的结果&313&既不是普通化合物，又不可分割，是一种不稳定的元素。判定一个数字串是否可被分割和如何分割的准则，称为&分割定理&，是比较技术性的内容，留在本文下篇介绍。
一个31号元素镓会在下一天衰变出两个20号元素钙。这是唯一的某个元素会在下一天衰变出超过一个的同一种元素的情况。
下面是元素的丰度表，和康威的原始论文中一样，数据被乘以了一百万，以使长度固定；也就是说，一个普通化合物演化足够长时间后得到的数字串被分割成普通元素后，每一百万个元素里大约会有91790个1号元素氢，3237个2号元素氦，4220个3号元素锂等等。注重细节和有耐心的读者可以将下表这些数据和康威论文中的数据相对比，就会发现小数最后一位往往会有一点不同，比如2号元素氦的丰度是而原始论文中是。下表的数据我使用了两种不同的计算软件库得到，结果相同，所以应该没有错误。原始论文数据的差异应当是上世纪80年代时康威使用的计算软件的浮点精度不够的缘故，当然这完全没有什么大碍。有兴趣和能力的朋友也可自行计算验证，计算方法将在本文后续章节中介绍。
我们讨论了普通元素（以及普通化合物）的性质。但我们知道，存在着无数不同于普通元素的元素，这些元素的演化结果会是什么？象1这样的元素，最终会演化成普通化合物，从而掉进普通化合物的圈子，那么有不同于普通化合物的封闭圈子吗？这是上节中的化学定理和算术定理没有回答的问题。作为数学家，把理论推广是一种本能。康威也考虑以其他的有限数字串作为起始的演化序列的情况。比如从55555开始，然后得到55251215等等；字符串中也可以含有其他不是十进制数字的符号（但为了方便我们仍称之为数字串），比如从%5##开始，得到1%152#111%1115121#311%#3112311#等等。对这样的边看边说序列，它们又会有什么样的演化性质？&这里有一个技术细节要处理。如果我们从1000个1组成的数字串出发，序列的第二项是1000 1（我特意在1000和1中间加了一个空格），问题是第三项应该是什么？第一种选择是，把前面这个1000看作是1个1和3个0，那么第三项就是113011。而第二种选择是，把前面这个1000看作是一整个不可分割的符号，那么此时我们看第二项时会说那是1个1000和1个1，那么第三项就应该是1(1000)11，这里1000被括号括起，表示这是整一个不可分割的符号。我们完全可以为1000引入一个特别的符号，比如&M&，那么就没有歧义了：看见第一项1000个1组成的数字串，我们会说那是M个1，于是第二项是M1，第三项则是1M11，等等。这种另引入符号的方法其实早就有了，十六进制里我们为了表示十进制的10，11，12，13，14，15，往往用&A&，&B&，&C&，&D&，&E&，&F&来表示它们。上面的第二种选择无非就是使用了&无穷进制&，为每一个自然数单独引入一个不同的符号。&其实采用第一种选择还是第二种选择，对于下面要叙述的结论影响并不大。只是采取第二种选择能够让我们在演化时间上得到一个更为精细的结论，这也是康威原始论文中的选择，所以我们也同样采取这个选择。而对于不愿意在细节方面纠缠的读者来说，完全可以把初始的数字串限定为只由0-9这十个符号组成，而且其中没有超过九个连续的相同数字。你不会因此少欣赏到多少这个理论的有趣之处。对于这样的推广情况，前面针对普通化合物的结论显然需要修改，因为那些不是&1&、&2&、&3&的符号在演化过程中永远也不会消失，所以演化过程再长，演化结果也不会仅由普通元素组成。但是令人吃惊的是，前面第二节中的结论并不需要修改很多：
除了92种普通元素外，还有两类被称为&超铀元素&的镎和钚的同位素（具体形式在后面给出）；
从任意数字串（可以包括除&1&、&2&、&3&以外的符号）出发，在有限天内它就会演化成为普通元素和超铀元素拼接而成的化合物。如果对个数的解释采用前面的第二种选择的话，则我们可以找到这个&有限天&的上限：在24天后（也即从第25项起），任意数字串都会演化成为普通元素和超铀元素拼接而成的化合物；
除了1号元素氢（即数字串22）外，从任意数字串出发，演化足够多天后，得到的化合物将由所有92种普通元素和一些超铀元素组成。每种普通元素在这些化合物中的比例越来越趋近于它的丰度，而超铀元素的比例则趋近于0；
从任意数字串出发，每一步演化得到的数字串的长度和上一步相比，越来越趋近于前面所说的康威常数。上面关于任意数字串的结论被称为&宇宙学定理&，是本理论中的基本定理。宇宙学定理要比化学定理强得多，它说明了普通元素加上超铀元素组成的化合物是终极圈子，无论从什么数字串出发，最多过24天，都会掉进这个圈子中。尽管元素有无穷多种，但是能够长期存在的，却只有普通元素和超铀元素，它们被称为稳定元素。所有其他的元素都是不稳定的。两类超铀元素如下，其中n是任何一个除&1&、&2&、&3&以外的符号：
&每选取一个不同的n，就会有相应的不同的93号元素镎和94号元素钚，它们被称作镎和钚的同位素。注意到两类超铀元素是彼此的衰变产物。&24天&这个下限不可能再缩短了，因为我们可以找到寿命恰为24天的不稳定元素n，其中n是不为&1&的数字（可以是&2&或&3&或其他符号）。下面是它的衰变过程（为了简短起见，一旦产生了稳定元素，我们就在后续项中忽略掉这一部分的后代）：
康威将这种寿命最长的达到24天的形如n的不稳定元素命名为鎷(Methuselum)。这用的是《旧约》中玛土撒拉的典故，因为传说他活了969年，是活得最长的人。在后续章节中我们将讨论一些技术性比较强的问题，如化学定理、算术定理和宇宙学定理的证明，以及关于元素丰度的计算，和那个神秘的多项式的来历，并利用这些定理做一些具体的计算。为后面的定理证明作技术性的准备，大概是本文最没有意思的一节。因为它的内容从难度来说，可能高年级的小学生也能理解，但却相当琐碎，都是些考虑各种可能性的叙述和论证。一般的读者大可只阅读几个命题的内容而跳过论证。对于想自己编程验证的读者，则请特别注意分割引理的内容和我在后面的算法建议。在康威的论文中，所有单独列出来的命题都叫&定理&。下面将介绍的&一天引理&、&分割引理&等等在他的论文中叫&一天定理&和&分割定理&等等。但是这些命题基本上用来证明过其他结论后就可以丢在一边，或展示的是技术性细节，所以我改称&引理&以示它们和在上篇里介绍的三个主要定理在重要性上有区别。我们最终要考虑以任意数字串开始的边看边说序列，故本节中提到的数字串都不排除含有除了&1&&2&和&3&以外的符号&&我们也称其为&数字&，并把它们称为&大于3的数字&（如果其中选用了符号&0&，那么它在上述意义下也是个大于3的数字）。对个数的解释我们则采用上篇中提到的第二种选择，也就是说，如果有连续1000个1的话，我们就替1000引入一个新的符号如&M&，称这是M个1。下面的&一天引理&说，其实你只需在第一天里为引入新符号头痛一下。&（一天引理）任何一个年纪至少为1天的数字串里，不可能含有这样的子串：1) 从奇数位置开始的baca，其中a，b，c是相同或不同的数字；2) aaaa，或aaabbb，其中a，b是相同或不同的数字。这个引理的证明可以用&显而易见&来形容。所谓的&年纪至少为1天的数字串&无非是说，它不是任意给出的，而是对着某个数字串边看边说出来的。要是在奇数位置开始出现了baca这样的子串，相当于在说看到的那个数字串里有&b个a，c个a&，这是不允许的，令d=b+c，你得说是&d个a&。不允许出现aaaa也一样，因为即便它在偶数位置开始，那也是在说&&&个a，a个a，a个&&&。aaabbb形式的子串也一样证明。因为连续4个相同的字符不可能出现在一个年纪至少为1天的数字串里，那么连续4个以上相同的字符也不可能。所以所有大于3的数字，要么是最初（第0天）就有的，要么是第1天产生的（比如最初字符串里有连续1000个1，会在第1天被描述成M个1，从而引入数字M），从第2天开始就不会再有新的了。而对年纪至少为2天的数字串，我们还可以排除掉更多的子串的可能性：&（两天引理）在第2天和以后都不可能产生新的除了&1&&2&和&3&以外的符号。任何一个年纪至少为2天的数字串里，不可能含有这样的子串：1) 3a3（特别地，不可能有333这样的子串）；2) ab，其中a和b都是大于3的数字。3a3这样的子串如果是在奇数位置开始出现的，那是边看前一天的数字串边说&3个a，3个&&&，也就是aaabbb这样的子串，可根据一天引理这是不可能的；如果是在偶数位置开始出现的，那则是在讲&&&个3，a个3&，这是不允许的。如果有ab这样的子串，其中a和b都是大于3的数字，那么意味着前一天有&a个b&或是&b个&&&形式的子串，一天引理也排除了这种可能性。顺便说一句，从第3天起，数字串中大于3的数字的数量当然不会增加，但也不会再减少了，它们最终会产生出超铀元素的同位素。比如第0天的数字串如果是4444，第1天变成44，第2天变成24，&4&的数目一直在减少，但从第3天起，序列中的每个数字串都有且仅有一个4。一个数字串中如果没有一天引理中的2)和两天引理中1)和2)提到的那些子串，它就是个好数字串。一天引理和两天引理说的就是，如果一个数字串是一个年纪至少2天的数字串的子串，它一定是个好数字串。好数字串总是演化出好数字串来。我们接下来要考虑的数字串都是好数字串。下面介绍三种数字串模式，都是规定它是怎么开始的。这些模式在后面的引理中很重要：
A型：1a&&的形式，其中a是不同于1的数字，而省略号部分或者是空的（也就是整个数字串就是1a），或者是一个不以a开头的数字串。
B型：111&&的形式，其中省略号部分或者是空的（也就是整个数字串就是111），或者是一个不以1开头的数字串。
C型：3&&的形式，其中省略号部分或者是空的（也就是整个数字串就是3），或者是一个不以3开头的数字串，而且前3个数字不都相同（如果这部分的长度至少是3的话）。容易证明，任何A型好数字串过一天会变B型好数字串，任何B型好数字串过一天会变C型好数字串，任何C型好数字串过一天会变A型好数字串。这3型数字串都不以2开头，以2开头则有三种引申出来的数字串模式：
A'型：22&&的形式，其中省略号部分是个A型数字串。
B'型：22&&的形式，其中省略号部分是个B型数字串。
C'型：22&&的形式，其中省略号部分是个C型数字串。这样我们就得到了3种循环模式，而下面的引理则更进一步：&（起首引理）：一个数字串的演化最终总会进入下面三种循环之一：1) &&&A型&B型&C型&&&2) &&&A'型&B'型&C'型&&&3) &&&22&22&&&如果它还没有进入循环，那么&1&&2&和&3&将均会出现在它后面演化过程中各项的首个数字中。命题的最后一句话其实是说，如果一个数字串最终会进入ABC循环可是却还没进（也就是它还不是ABC型中的一种），那么它迟早会演化出一项以2开头的数字串来，然后再进入循环（那时不断地以1或3开头）；而如果一个数字串最终会进入A'B'C'循环可是却还没进，那么它迟早会演化出一项以1开头的数字串，和一项以3开头的字符串，然后再进入循环（那时总以2开头）。循环3)则是数字串22独有的。起首定理的具体证明就不多说了，完全是力气活，把所有可能性都考虑一遍；多亏一天和两天引理，可以少考虑不少可能性。这证明小学生也能看得懂，可就是太啰哩吧嗦，真想看就只好请读者直接读原论文了。为了叙述方便起见我们再引入两个数字串开始的类型：
X型：以大于3的数字开始。
X'型：22&&的形式，其中省略号部分或者是空的（也就是整个数字串就是22），或者是个X型数字串。&现在我们终于可以引入下面这个重要的引理，也就是分割的准则：（分割引理）一个好数字串可以在某处分割成前后两个子串，当且仅当在满足以下某种情况时：
有了起首引理，分割引理&当&部分的证明很容易。第一种情况很简单，以&1&，&2&或&3&开始的后数字串总还是演化成以&1&，&2&或&3&开始的数字串，不会和永远以大于3的数字结尾的前数字串混起来。第二种情况，前数字串永远以&2&结尾，后数字串永远以&1&或&3&或是大于3的数字开始，也不会混起来。第三种情况，前数字串永远不以&2&结尾，后数字串永远以&2&开始，也不会混起来。注意到如果结合第二种情况，在第三种情况下我们其实总能将数字串分割成3段：前数字串，22，以及一个A型或B型或C型或X型的数字串&&除非原本的后数字串就是22本身。还要证明&且仅当&部分，即除上述情况之外就不能分割。这个留给读者证明，去读康威的论文也没用，他同样也留给读者证明。证明过程的关键是起首引理结论的最后一部分。如果读者要自己编一个分割数字串的程序，我建议采用如下方法：首先验证那是个好字符串。然后找到所有不是&1&&2&&3&的数字，在它后面分割，将数字串分割成若干段。对每段分割好的子串进行如下操作：找到所有2，验证它后面的子串是否A、B、C、X型，如是则在这个2后面分割。对每段分割好的子串进行如下操作：验证它是否以恰好2个2结尾，如是，则将这2个2分割。容易看出，这个算法能够将好数字串作完全的分割，既不会分割错，也不会有该分割却没有分割的地方。&最后相应于起首引理还有个结尾引理，没什么太大用处，为了完整起见也叙述一下：（结尾引理）：经过足够长时间后，1) 任何一个以&1&结尾的数字串在演化过程中，序列的数字串末尾总会进入4步循环：
2) 任何一个以&2&结尾的数字串在演化过程中，序列的数字串末尾总会进入2步循环：
3) 任何一个以&3&结尾的数字串在演化过程中，序列的数字串末尾总会进入2步循环：
4) 任何一个以大于3的数字&n&结尾的数字串在演化过程中，序列的数字串末尾总会进入2步循环：
五、化学定理和宇宙学定理的证明
在此重新叙述一下化学定理的内容：
（化学定理） 任何一种普通元素的后代都是普通化合物，普通化合物的后代也是普通化合物。除了1氢外，从任意一种普通化合物开始，演化足够多天后，得到的化合物将由所有92种普通元素组成。
第二节的元素列表具体地拿出来后，定理前面一句的证明就差不多完成了：无非是验证一下元素所代表的数字串一天后的产物的确就是&一天后衰变物&一栏中化合物所代表的数字串，而且其中的分割是正确的。
定理后面一句如果可以用算术定理的话，证明也很简单：因为经过足够多的时间后，除了1氢外的任何普通化合物演化出的数字串中各普通元素的比例会趋近于丰度，而每种普通元素的丰度都严格大于0，所以我们自然能得出每种普通元素都在这些数字串中存在的结论。不过如果不用算术定理，只通过元素列表，我们也同样能证明这一点。
首先，通过元素列表的重要特性，即对任何大于1的自然数n，第n号元素一天后会衰变出第n-1号元素这点可知，任选一种除了1氢外的普通元素，从它出发都能衰变出任何一种普通元素。因为所有原子序数较大的都能衰变出原子序数较小的，而衰变到2氦时则能回头衰变出91镤，然后能衰变出39钇，最终衰变出92铀来，从而进一步衰变出任何普通元素。
其次，容易看出两种元素间通过固定的衰变途径，从一种元素演化到另一种元素的时间间隔是固定的。比如通过6碳&5硼&4铍&32锗&67钬这条衰变途径，从6碳到67钬用了4天，那么我们可以肯定，如果在第d天化合物中有6碳元素，那么第d+4天化合物里一定有67钬元素。
注意到2氦&3锂&2氦这条途径，从2氦出发，每隔一天能产生出一个2氦来。如果第一个2氦出现在第h天，那么后面所有和h间隔偶数天的日子里也会有2氦。再看2氦&20钙&19钾&18氩&&&&4铍&3锂&2氦这条途径，如果第h天有2氦，那么第h+19天也会有2氦，然后从那以后每隔一天都会有2氦。也就是说，如果第h天有2氦，那么从第h+19天起，每天都有2氦。所以我们有了第三个结论：任选一种除了1氢外的普通元素，从它出发，在足够长时间后，每天产生的化合物中都有2氦。
上面这三点结合起来的推断出的结论自然就是，任选一种除了1氢外的普通元素，从它出发，在足够长时间后，每天产生的化合物中都有92种普通元素中的任何一种。这就完成了化学定理的证明。
至于宇宙学定理，按照康威的说法，那是非常非常难的，写出来会很长。他和Richard Parker花了一个月搞出来过一个证明，但是稿子遗失了。Mike Guy也曾证明了这个定理，比前面这个短一些可还是很长，而且他的稿子也遗失了。基于以上理由，在论文里他干脆就什么证明都没放，只问&你能找到一个几页就能写下的证明吗？拜求！&
康威的宇宙学定理的&证明&
这大概是自费马在《算术》一书的书边对他的&大定理&写下&我确信已发现了一种美妙的证法，可惜这里空白的地方太小，写不下&后最拽的&此定理已证&的声明吧。
直到2003年，美国路易斯安那州立大学的数学家R. A. Litherland才给出了一个完整的宇宙学定理的证明。这个证明是由计算机辅助完成的，也就是说，先使用人工的推理将定理的证明转化成对一些特殊的有限的情况的验证，然后再使用程序来验证这些情况，因为使用人力来验证太困难。史上最著名的采用计算机辅助方式的证明大概是四色定理的证明。
宇宙学定理中和普通化合物算术定理并行的部分很容易通过后者证得：因为超铀元素的数目从第二天开始就固定，而普通元素的数量则随着演化趋向于无穷，所以超铀元素对化合物长度和成分的贡献可以忽略不计。
本文对宇宙学定理的证明的介绍就到此为止。接下去应该介绍算术定理的证明了，这是本文最有意思的一部分，但是了解它需要线性代数的知识。所以在此之前，我打算先讨论一下边看边说序列理论中的这几个定理的应用，这一部分不需要线性代数的知识。
　　人类真的有灵魂？千百年来，这是人们一直都在争论的问题。科技发展到今天，我们已经由看得见的物质研究到了看不见的原子、质子、夸克到中微子。现在又发现了比中微子更小物质&&超弦。科学家说，人类的灵魂就是超弦。
　　一批来自世界各国的科学家对一个死人进行实验，结果发现一个惊人的秘密，他们对死人通电……
　　人类真的有灵魂？千百年来，这是人们一直都在争论的问题。科技发展到今天，我们已经由看得见的物质研究到了看不见的原子、质子、夸克到中微子。现在又发现了比中微子更小物质&&超弦。科学家说，人类的灵魂就是超弦。
　　一批来自世界各国的科学家对一个死人进行实验，结果发现一个惊人的秘密，他们对死人通电&&
　　死后有鬼魂的存在，鬼魂是一种什么东西呢？其实，鬼魂和身体的关系就象电磁波和对讲机的关系。鬼魂也就是一种磁场，有记忆的磁场。鬼魂和肉体是这样的关系：人分肉体和鬼魂两部分，身体为鬼魂服务，鬼魂又依赖于身体，器官的存在是为了身体健康保留，这样才使鬼魂不消失。
　　鬼魂的形成－－当胎儿在母体的时候，开始的前三个月是很弱的，甚至可以说没有的，它的来源取决于大脑活动和体液（最主要的是血液，体液都是带有电离子的）的流动而形成的。对所有的动物死后都有鬼魂，也就是只要有电离子流动的生物个体都会形成电流，有电流就有磁场。当胎儿三个月后，大脑逐渐的发育并且于母体的血液流动增多，渐渐形成了鬼魂。初生婴儿的身体接近于原始，所以很多的小孩（6岁）以下会看到鬼魂，他们不是在用眼睛看，而是自己的鬼魂和鬼魂的交流（3岁以下的小孩的视力范围是很近的），这时的小孩的身体和鬼魂的结合不是很融洽，容易受惊吓等原因而分离，这就是俗语的&丢魂儿&。
　　鬼魂的成长和成熟：随着人身体的增长，鬼魂逐渐的和身体紧密结合，人所有的记忆由鬼魂储存，大脑起介质的作用，就好像磁盘上的信息和磁盘上的磁粉的关系，但又不完全相同，鬼魂又不完全依赖大脑而存在，它有自己**的磁场记忆方式。就好比磁盘上的信息以电磁波的方式发送出去了，它们任何时候都可以被自己的大脑接收显示。需要说明的是磁场记忆依赖大脑的构造（磁盘上的磁粉位置和排列），如果不恰当就产生了白痴。如果记忆只是单纯的象某些科学家说的&大脑褶皱&起作用的话，有报道说白痴的大脑褶皱为什么不比正常人少呢？有科学家试验说，人每天摄取食物所应该产生的能量远远大于人每天发热所消耗的能量，那么相差的能量去哪儿了呢？就是被大脑以电磁波的形式发送出去了。有人可能要问，那电磁波为什么我没有接收到呢？带着这个问题，请您继续往下看。
　　鬼魂与身体的分离－－当人的器官损坏或身体虚弱衰老的不能产生足够的能量时，鬼魂便与身体脱离了，确切的说，是身体先死亡，鬼魂才离开身体，而不是鬼魂离开身体后人才死亡。鬼魂才离开身体后会继续的存在，它们可能会被与它们原先身体有相同属性的个人身体接收，这就是人们说的鬼魂附体，所以这些被鬼魂附体的人会知道很多鬼魂原身体个人的秘密。有人会担心鬼魂会不离开所附的身体，这是多余的，虽然它是暂时附体了，但是它所附的身体和原来的毕竟没有完全相同，所以不会提供给它能量使它延续，它在附体后也就会消失了，能量被耗尽。还有人会疑惑，那从古到今，世界上该有很多鬼魂了吧，到处都是啊？回答是&不是的&，鬼魂是一种磁场，当遇到强大的其他磁场的打击后会被打碎，譬如遇到雷电所产生的强大磁场。所以很多的鬼魂被消灭了。这就是人在&丢魂儿&后如果没有遇到雷电的天气还可以找回来的原因。
　　世界就是由物质组成，其中也包括时间、鬼魂，时间、鬼魂只是我们没有完全认识的的一种的物质形式。
　　鬼魂也是物质的，它是一种跟磁场差不多的场，我姑且叫它&鬼魂场&，跟两个磁石之间有磁场是一样的。而这种场一旦被我们人类认识和利用后将产生历史上的重大变革。
　　鬼魂有自己的活动。当我们的身体休息的时候，有时它们不休息，到处乱逛，并模糊的存储下来，但是它没有借助身体的帮助，所以是模糊的。不知道你有这种感觉没有：某天你到某个地方或发生某件事情时你会惊奇：咦！这个地方（这个经历）我好像经历过啊！
　　科学家发现微中子即灵魂。当今世界最惊人的发现 , 科学家发现微中子即灵魂、即佛家的中阴身. 世界上这些诸多的不可思议的现象，怎么解释呢？全世界尖端的科学家，多年来一直在努力，从七十年代到八十年代，根据相对论与量子力学而发展的新物理学，在各方面都有卓越的成就，例如：宇宙大爆炸源起学说及证据的发现；粒子的发现：四度至十一度空间的发现：超光速的发现：无限多元超级宇宙的发现；医学进入四度空间，太空探险船探测土星木星：生命起源之迷揭晓&&&各种成就美不胜收，而这许多新科学的发现，几乎每一件都可以成为佛经奥秘的解释和旁证！
　　几十年前，物理学家发现了微中子，微中子比电子小二十至八百倍不等，它是一种无形无体的虚无的一种能，它能穿透任何物质，美国科学家观测了三十多年，发现没有一粒微中子衰变，不衰变就是不死亡，人体全身每个细胞都有微中子，如果将这些微中子连接起来，自然也构成一个物质躯体的形象，这就是佛经中讲到的中阴身，中阴身就是微中子等类非物质的能。在电影聊斋中，我们看到鬼魂对有形的物质来去自如，实质就是这种可以任意穿透一切物质的微中子所特有的物理现象，从那时起，世界尖端科学终于找到了众生都有一个永生不死的可以转位的能量&&灵识。佛门中有修行的人，懂得怎样使脑波集中，使中阴身不散不乱，可以穿越三界或多度时空。但一般人利欲熏心，迷了本性，脑波不会集中，也因拼命吃肉吃荤，甚至酒色无度，肉体疾病丛生，死后中阴身散尽，但是有些心愿未了的人，可能挂念子孙或伴侣，他的中阴身就不会立时散尽，可能仍有那一点未了的心愿，维持微中子不散，所以会有鬼魂来看亲人的事发生。我的老师讲过这样一件事：&我现在的住宅，刚搬来时，白天也能见到一个瘦小老年男人，不停吐口沫，晚上见到&个肥胖的妇女，笑容满面，到我的房中，亲热地称我为儿子。我知道他是异物，但没有害怕，于是就念佛、念咒，这异物并无恶意，说是来看看故居，又说很喜欢我能照顾这房子，以后就再也没出现了，我记下了他们的面貌和衣着打扮，访问附近的老人，一提邻居就知道，说那是房子从前的主人，夫妇都是医生，已经死了十多年了。也有些人因悲苦和冤屈、冤魂也会不散，直到申冤后才散去，中阴身能维持很久远的年代，世人大多数不学佛、不懂佛理，不知如何保护自己的中阴身，他们不守戒，不能定慧见性，没有孝行贤德，也没有慈善之举，庸庸碌碌，在名利酒肉和色欲中享受，有些人杀生无数以牟利或饱口腹，更有害人及罪犯，平时做事奸诈阴险、不相信佛说宇宙中有因果报应的规律，这些人的肉体死亡之后，他们身上的微中子没有心力的维系，很快就散了，佛经说随风飘荡，依草附木，任何一个人，不管他地位有多高，物质有多少，破了佛说的根本戒，微中子就破碎，这是佛的智慧，说破了宇宙运动法则的天机，世人不识宝！
　　宇宙中的自然规律是决不会因为你不信而减少惩罚
　　这些罪业深重的人，微中子有&种被污染的场质相近的空间立刻吸过去，因而这些中阴身有的到了黑洞，有的到了冰山，有的到了火山，有的因受业力的反弹而感觉到报应的痛苦，有些屠户死后，感觉到被千刀剐万刀剁，有的象被投身于油锅炸酥般的痛苦，种种痛苦都是自己恶业幻化，阎罗天子是维持宇宙中一切平衡的超自然力量，他以&种能量形式存在于另一时空。凡是恶人无非就是自我心太重、自我越重识力越无明，不能选择前途，死后随恶业力的反弹，转猪狗牛羊、鸡鸭鱼虫而不知。
　　修行人识力光明清楚，念佛不辍，使自己的中阴身的微中子聚会不散，再加多善行功德，获得宇宙中善果的报应，得佛菩萨超级大愿力能量接引，于是进入光明永恒的极乐世界！大家应知佛学是至善圆满的教育，佛学中的一切学问，建基于无上的智慧，佛学对宇宙的认识是非常深入独到了，它是符合超级宇宙原理的，世界著名的物理学家威斯柯夫说过：&在科学上几乎每一件事都是超过你直接经验的&今天活在世上的每个人，都不应该以主观经验去看待宇宙，对待人生，否则你将面临六道轮尘的选择，千年铁树花开易，一失人身再复难！我们应该认真至诚的去研究和接受佛学的教育，要搞清佛理，反对迷信，有些人每天烧香拜佛，但做事还少不了缺德，这些人不懂得佛学道理，更不了解因果规律是宇宙的重要法则，这些人以我为中心，以自私自利为人生的准则，他们是在搞迷信，他们不懂命由我立，这些人死后，是难逃恶报的！著名科学实验再次证明佛菩萨的存在
　　万物皆有佛性的科学证明
　　藏传佛教的修行者，主要通过观想和念咒来获得成就，数以十万计的修行者即身成佛（肉身化作彩虹飞去）。很多修行者都体验了很多修行者都体验了佛菩萨亲临身边传法这样不可思议的事情。很多还没有什么修为的佛弟子有过这样的体验：遇到极度危险时立即念某个咒语，或者念观世音菩萨的名号，立即化险为夷。在普通学人特别是普通百姓看来，这完全违反科学规律，除非是密切注意科学进展的物理学家，很多搞科学的人是断然接受不了的，于是就斥为迷信。
　　其实，在现实生活中，有很多类似的远距感应并相互作用的事情让大家感到不可思议。
　　在孪生兄弟之间，当一个人经历痛苦的时候，另外一个人立即就有感应，甚至会有一模一样的痛苦。有的夫妻或者父子之间，当一方经历极大痛苦时，另外一方也能迅速感应到。我以前一位男同事，某日早上身体极度难受，内心翻腾不已，几次呕心欲吐，无法集中精力工作，很快，其母亲从老家来电话告诉他父亲刚刚跌倒去世。
　　所有这些，究竟是怎么回事？
　　其实，对这些奇怪的事情，理论物理学已经从理论和实践上获得了确切的证明和解释，只是，众多生命科学学者不了解这样的巨大进展，普通百姓更无从知晓，而佛教当然更是不屑于科学来证明的。
　　那么，科学究竟发现了什么呢？
　　一九八二年，法国物理学家艾伦钒？古煽颂兀？lainAspect）和他的小组成功地完成了一项实验，证实了微观粒子之间存在着一种叫作&量子纠缠&（quantumentanglement）的关系。在量子力学中，有共同来源的两个微观粒子之间存在着某种纠缠关系，不管它们被分开多远，都一直保持着纠缠的关系，对一个粒子扰动，另一个粒子（不管相距多远）立即就知道了。量子纠缠已经被世界上许多实验室证实，许多科学家认为量子纠缠的实验证实是近几十年来科学最重要的发现之一，虽然人们对其确切的含义目前还不太清楚，但是对哲学界、科学界和宗教界已经产生了深远的影响，对西方科学的主流世界观产生了重大的冲击。不管两个粒子（有共同来源）距离多么遥远，一个粒子的变化立即就影响到另外一个粒子，这就是量子纠缠。准确来说，所谓量子纠缠指的是两个或多个量子系统之间存在非定域、非经典的强关联。量子纠缠涉及实在性、定域性、隐变量以及测量理论等量子力学的基本问题，并在量子计算和量子通信的研究中起着重要的作用。
　　以两个以相反方向、同样速率等速运动的电子为例，即使一颗行至太阳边，一颗行至冥王星，如此遥远的距离下，它们仍保有特别的关联性；亦即当其中一颗被操作（例如量子测量）而状态发生变化，另一颗也会即刻发生相应的状态变化。如此现象导致了&鬼魅似的远距作用&（spookyaction-at-a-distance）之猜疑，彷佛两颗电子拥有超光速的秘密通信（就像念动咒语）一般。&鬼魅&（spooky）一词出自爱因斯坦之口，他曾经发现，这种&鬼魅般的超距作用&（spookyaction at adistance）在众多实验中一再出现，似与狭义相对论中所谓的局域性（locality）相违背。因此直到过世前他都没有完全接受量子力学是一个真实而完备的理论，一直尝试找到一种更加合理的诠释。这也是当初爱因斯坦与玻理斯凡ǘ嗨够？⒛缮？罗森于1935年提出以其姓氏字首为名的爱波罗悖论（EPRparadox）来质疑量子力学完备性的原因。
　　量子纠缠证实了爱因斯坦不喜欢的&超距作用&（spooky action inadistance）是存在的。量子纠缠超越了我们人生活的四维时空，不受四维时空的约束，是非局域的（nonlocal），宇宙在冥冥之中存在深层次的内在联系。量子非局域性表明物体具有整体性。简单地说，量子非局域性是指，属于一个系统中的两个物体（在物理模型中称为&粒子&），如果你把它们分开了，有一个粒子甲在这里，另一个粒子乙在非常非常遥远（比如说相距几千、几万光年）的地方。如果你对任何一个粒子扰动（假设粒子甲），那么瞬间粒子乙就能知道，就有相应的反应。这种反应是瞬时的，超越了我们的四维时空，不需要等到很久信号传递到那边。这边一动，那边不管有多遥远，立即就知道了，即一个地方发生的事情立即影响到很远的地方。这说明，看起来互不相干的、相距遥远的粒子甲和乙在冥冥之中存在着联系。这与我们人的意识作用非常相似！
　　实证科学在研究意识中遇到的困难是，无法用我们人类熟悉的时间、空间、质量、能量等来测量意识，但是我们每一个头脑清醒的人都知道自己的意识是存在的。如何来研究无法用常规方法测量而又存在的意识呢？
　　目前有些学科在神经和大脑上对意识进行了广泛而深入的研究，虽然对大脑的许多功能有了不少的了解，但是对于意识本身仍然是个迷，仍然无法解释&意识的难题&（the hard problem of consciousness）。&意识的难题&是指体验与感受的问题（the problemofexperience），例如对颜色、味道、明暗等等的感受，对价值观的判断等等。&意识的难题&近年来重新触发了哲学上长期解决不了的争论，即意识是从物质中突然出现的，还是万物皆有意识（中国古代叫万物皆有灵性）？
　　自笛卡儿以来的西方主流世界观认为物质决定意识，意识是在物质中产生的副产品。然而，这种唯物论观点遇到了难以克服的困难与挑战。例如，（1）许多科学家认识到，要从没有意识的物质中产生意识，这需要奇迹的发生，而唯物论是不承认有超自然现象的，换句话说，这是不可能的。（2）在长期研究大脑工作中，神经科学对大脑的功能等等方面已经有了很多的认识，但是许多人怀疑唯物论能够解决&意识难题&。（3）现在有科学研究者从量子测量的角度分析，认为意识不能够被进一步简化，也不是在物质运动中突然出现的，因为如果意识只是物质的副产品，那么这无法解决量子力学中的&测量难题&。量子力学认为物体在没有测量之前，都是几率波，测量使得物体的几率波&倒塌&（collapse）成为观测到的现实。那么问题就出来了：如果意识是从物质中产生的，那么从根本上讲大脑也只是由原子、电子、质子、中子等微观粒子组成的几率波，大脑的几率波如何能够使得被观察物体的几率波&倒塌&呢？对于更大的宇宙的现实来说，这是不是意味着存在宇宙之外的具有意识的观察者？这就是量子力学中的&测量佯谬&。为了解决这个量子测量佯谬，物理学家们提出了许多解决方案，但是从根本上仍然无法绕开意识的问题。诺贝尔物理学奖获得者尤金吠？衲桑？（ugeneWigner）认为，意识是量子测量问题的根源。虽然物理学认识到意识在量子力学的层面上就存在，但是量子力学本身无法解决意识的问题。从量子力学创立时起意识就一直困扰着量子力学，但是长期以来，物理学家们对这一问题视而不见，试图逃避这个令物理学尴尬的难题。
& & & 基于实证科学在研究意识中遇到的难以克服的问题，现在在哲学界、神经科学、心理学、物理学等多学科领域里越来越多的人认为，就像时间、空间、质量、能量一样，意识是物质的一个基本属性，是宇宙不可分割的一部份。这与佛学认为&万物皆有佛性&具有惊人的一致！量子纠缠的存在是微观粒子具有意识的证据，给&意识是物质的一个基本特性&提供了良好的证据，其意义非同寻常。基于上面的原因，越来越多的科学家和研究人员认识到，沿着唯物世界观来研究意识只能走进死胡同，因此他们（其中很多是西方人）认识到，必须要改变西方实证科学的世界观，转而向东方哲学的世界观。于是许多西方科学家和研究人员转向印度，这直接导致了近年来印度瑜伽和神秘主义在西方流行。
　　如果认识到意识是物质的一个根本特性，那么就不难理解人们发现的&有感知的水&，&祈祷治疗&，&念咒感应&&孪生兄弟姐妹感应&&夫妻感应&&巴克斯特效应&，&因果轮回&等等实证科学无法解释的和灵界有关的现象。
　　佛家的&万物皆有佛性&，道家的天人合一，认为&万物皆有灵&，都应该是修行者细微观察宇宙得出的结果。.意识超越我们可以看见和感觉到的四维时空，如果人的眼睛能够看到微观，那么就可以看见意识的存在。佛家的开悟，或许正是到了这个境界。现在越来越多的人预言和期望，一个新的世界观的时代就要来临，科学将会发生重大的变化，科学和宗教的界限很快会消失。
　　推荐阅读：灵魂是什么？
　　灵魂（soul）是由蛋白质、DNA、RNA等生命大分子构成的生物体所产生的各种层次的一切生命现象，它依生命大分子、细胞、组织、器官以及生物体本身新陈代谢存在而存在。科学给出灵魂科学定义，意义在于引导人们破除迷信，正确认识生命以及生命现象。
　　经科学推测距今二万五千年至五万年前之人类，已具有灵魂之观念，或人死后灵魂继续生活之观念。然大抵而言，原始人所具有的简单古朴之灵魂观念，往往含有强烈的物质性格。直至宗教、哲学渐次发达之后，人类之灵魂观始趋向非物质化之&精神统一体&。例如某些宗教、哲学相信灵魂可以独存于肉体死亡以后，进而视之为不朽的精神实体。盖承认灵魂存在，虽一般被认为是人类生活之要素，能主宰人类之知觉与活动。据近代考古学为许多宗教、哲学、社会学所主张，然论及其特质、本源、究极，则有极大之分野。有主张其与精神或心意等同义者，如灵魂生活（soul-life）一语，殆与精神生活、心意生活等义无有分别。而主张灵魂说（Soul Theory）者，若自其所说之身、心关系而言，则立足于二元论；若自精神之体、用关系而言，则立足于实体论。近世哲学出现现象论、现实论、唯物论等学说，则大抵反对宗教灵魂存在。
　　目前，没有人知道灵魂真正存在的详细真相，可历史的印记是不可否认的，其有待于科学的进一步研究。
&?&&?&&?&&?&&?&&?&
&?&&?&&?&&?&&?&&?&&?&
&?&&?&&?&&?&
&?&&?&&?&&?&&?&&?&&?&&?&&?&&?&?&&?&&?&&?&&?&
&?&&?&&?&&?&&?&
&?&&?&&?&&?&&?&
萨镇冰&?&&?&
&?&&?&&?&&?&&?&&?&
在数学一堆栈或2-sheaf是的，大致说来，一个捆以价值范畴而不是集。栈是用来形式化的一些主要结构血统论，并构建精细模栈时精细的模空间不存在。血统理论关注的是普遍的情况下，几何对象（如向量丛打开（放）拓扑空间）可以被&粘在一起&时，同构（在一个兼容的方式）时，限制在一个空间的一个开覆盖集的十字路口。在更一般的设置的限制与一般的回调所取代，并纤维类形成正确的框...&
在一堆栈或2-sheaf是的，大致说来，一个捆以价值范畴而不是集。栈是用来形式化的一些主要结构，并构建精细模栈时不存在。血统理论关注的是普遍的情况下，几何对象（如打开（放））可以被&粘在一起&时，（在一个兼容的方式）时，限制在一个空间的一个开覆盖集的十字路口。在更一般的设置的限制与一般的回调所取代，并形成正确的框架来讨论这种粘合的可能性。一堆的直观的意义就在于它是一个纤维范畴，&所有可能的扣工作&。对扣的规范需要定义一个覆盖方面，可以考虑扣。原来，描述这些覆盖物的通用语言是一个。因此，堆栈是正式作为纤维类的另一个基地类，在基地有一个Grothendieck拓扑和纤维类满足一些公理，确保相对于Grothendieck拓扑和某些扣的存在唯一性。栈是代数栈的底层结构（也被称为阿廷栈）和涅&芒福德堆栈，从而推广方案和这是特别有用的研究。有包裹体：方案&代数空间&涅&芒福德栈&代数栈&栈。（2003）Edidin和（2001）fantechi简要介绍账户栈，G&&（2001），奥尔森（2007）和（2005）vistoli给出更详细的介绍，并洛蒙和莫雷贝利（2000）介绍了更先进的理论。&&&
动机和历史
洛杉矶结论检疫&laquelle Je suis到达&D&的维护，这是阙chaque FOIS阙恩的Vertu德MES的暴击&RES，一变&T&de模块（或译&T，联合国学校&马德模块）倒拉分类DES的变化（GLOBALES，欧无穷&simales）德有结构（变&T&的并发症&TES非按每一个&RES，纤维&的vectoriels，等）的对立malgr东北peut，&de女佣假说&SES的陈词滥调，propret&，等非singularit&&ventuellement，LA存在EN EST seulement l'existence d'automorphismes de la结构魁EMP&车拉技术德迪桑特de行军。
Grothendieck的信塞尔，11月5日1959。
栈的概念起源于定义有效数据在下降（1959）群。在1959封信塞尔，Grothendieck指出，构建良好的模空间的根本障碍是自同构的存在。栈的主要动机是，如果对一些问题的模空间不存在由于自同构的存在，它可能仍然可以构建一个弹性模量堆栈。芒福德（1965）研究了Picard群在栈，定义了。栈是最初由吉罗&（一千九百六十六，一千九百七十一），和&堆&的介绍德利涅&芒福德（1969）对原法国&冠军&意义的&场&。本文还介绍了涅&芒福德栈，他们称之为代数栈，虽然&代数栈&现在通常指的是更一般的阿廷栈介绍了&（一千九百七十四）。当定义商方案组的行动，为商是一个仍然满足理想的商性能的方案通常是不可能的。例如，如果一个点有非平凡的稳定剂，然后将不存在的计划。以同样的方式，曲线，向量丛，或其他几何对象往往是最好的定义为替代方案栈。模空间的结构常常是首先构造一个更大的空间参数化对象的问题，然后quotienting的一组动作占已在数目上超过自同构的对象。
定义一类C与一个函子范畴C被称为在C如果任何态射F从X以Y进入C与任何对象Y对C图像Y，有一个回调F：X&Y对Y由F。这意味着任何态射G：Z&Y图像G=FH可以分解为G=FH一个独特的态射H从Z以X图像H。元素X=F*Y被称为回调对Y沿F和是唯一典型的同构。类别C被称为叠前在一个范畴C用如果是纤维在C对于任何对象U对C和对象X，Y对C图像U从对象上，函子U集以F：v&U坎（F*X，F*Y）是一个层。这个术语是不一致的：prestacks滑轮的术语是分离而不是presheaves presheaves类似物。类别C被称为堆栈在范畴C与Grothendieck拓扑如果是叠前结束C任何下降的数据是有效的。一下降的数据大概包括覆盖对象v对C一个家庭vI，元素XI在纤维上vI，和态射F吉之间的限制XI和XJ以vij=vI&UvJ满足相容性条件F王下=FKJF吉。下降的数据称为有效如果元素XI基本上是一个元素的回调X图像U。一堆被称为堆栈在胚或（2,1）-层如果是纤维在胚，这意味着它的纤维（逆图像对象C）是胚。一些作者使用&栈&是指在群堆的更严格的概念。一个代数栈或阿廷栈在群栈X在层如图的对角线X是表示和存在光滑满射从（相关的堆栈）一个X射方案Y&X栈是可表示的如果，每射S&&X从（相关的堆栈）方案的X，&Y&&X&S是同构的（相关的堆栈）代数空间。这个纤维制品栈是使用通常的定义，和改变图去要求他们2-commute要求。一是一个代数栈X这样就从一个方案的&故事满射X。大致说来，&涅芒福德栈可以被认为是代数栈的对象没有无穷小的自同构。
如果一个栈的纤维集（意义范畴的态射的身份映射）然后堆基本上是相同的一套。这表明一个堆栈是一种泛化的一捆，以价值观而不是任意类别设置。
准紧对角的任何方案都是一个代数堆栈（或者更准确地说是一个）。
类别向量丛的V&是叠加在拓扑空间的范畴。从V&态射的&T由对W的连续映射的T和V从对以W（线性纤维）这样明显的广场上。这是一个纤维范畴的条件是因为人可以把向量丛的回调在拓扑空间的连续映射，这一下降的数据是有效的条件是因为我们可以构造一个向量丛的一个空间上的向量丛的粘在一起的一个开放的封面元素。
拟凝聚层方案堆栈（相对于弱拓扑）
在基础方案的仿射方案堆栈（再次对fpqc拓扑或微弱）
芒福德（1965）研究了模栈M1,1椭圆曲线，发现其Picard群是循环12阶。椭圆曲线上的相应的栈是一个类似的商由的行动。
这个MG定义为一个泛家族的光滑曲线的属&G不存在一个代数簇，尤其是有曲线承认非平凡自同构。但是有一个模栈MG这是一个很好的为不存在的精细模空间的光滑属替代G曲线。通常有一个模栈MG，N属G曲线N标记点。总的来说这是一个代数叠加，是&涅芒福德栈G&2或G= 1，N& 0G= 0，N&3（换句话说，当曲线的自同构群是有限的）。这种弹性模量堆栈组成的稳定曲线模栈完成（对于给定的G和N以上规格是正确的）Z。例如，M零是bpgl分类堆栈（2）的一般射影线性群。（有一个微妙的定义M一，作为一个使用代数空间而不是方案施工。）
任何在群栈；例如琐碎gerbe，分配给每个方案的主G在方案捆绑，一些组G。
如果Y是一个方案G是一个光滑组方案的作用Y，然后有一个&Y/G一个方案，以T这群胚G-旋量超过T与G等变映射Y。一个特殊的情况下，这个时候Y是一个点给出分类堆栈BG对一个光滑组方案G。
如果一个是拟凝聚层代数在代数栈X在一个方案的，然后有一堆的规格（一）推广建设的频谱规范（一）一个交换环。一个对象的规格（一）由下式给出的方案对象的T，XX（T），和一个态射的成捆的代数X&*（一）的坐标环O（T）的T。
如果一个是拟凝聚层分级代数的代数叠加X在一个方案的，然后有一堆项目（一）推广建设工程投影方案（一）一次环一。
这个在代数曲线X还原组的行动G，通常以。
这个分类。
Picard栈推广。
拟凝聚层代数栈在一个代数栈可以构造一类拟凝聚层类似于准相干一方案的范畴。拟凝聚层大致是一个看起来像一个模块的局部环上的束。第一个问题是决定什么人所说的&局部&：这涉及一个Grothendieck拓扑结构的选择，还有很多可能的选择，其中有一些问题，没有一个完全令人满意的。Grothendieck拓扑应该强大到足以使栈的局部仿射本拓扑方案局部仿射Zariski拓扑，这是一个好的选择方案三发现，代数空间和涅&芒福德栈是局部仿射在层拓扑所以通常采用层拓扑这些，而代数栈是局部仿射在光滑的拓扑结构，因此可以在这种情况下使用光滑拓扑。对于一般的代数栈层拓扑没有足够的开集：例如，如果G是一个光滑的连接组则只有层覆盖分类堆BG是份BG的工会，这是不足以给quasicoherent滑轮的权利理论。而不是使用光滑拓扑代数栈一个经常使用它的变形称为（对于利瑟层：短利瑟是光滑的法语术语），具有相同的开集为光滑拓扑但开覆盖了层而不是光滑映射。这通常是导致拟凝聚层的一个等价类，但更容易使用：例如，它是更容易与代数空间层拓扑比较。LIS等拓扑结构有一个微妙的技术问题：栈之间的态射一般不给相应的论题之间的态射。（问题是，当一个人可以构造一对伴随函子F*，F*，作为论题的几何性需要，函子F*一般是不能离开具体。这个问题是由于在发表的论文和书籍臭名昭著的一些错误。【一]）这意味着射栈下构建一个quasicoherent捆回调需要一些额外的努力。也可以使用更精细的拓扑结构。最合理的&足够大&Grothendieck拓扑似乎导致拟凝聚层等价类，但更大的一个拓扑结构是很难处理，所以一般都喜欢用小的拓扑结构，只要他们有足够的开集。例如，大FPPF拓扑结构导致实质上的拟凝聚层的同一类别的LIS等拓扑结构，但有一个微妙的问题：自然嵌入拟凝聚层为OX在这种拓扑结构中的模块是不准确的（不保存内核一般）。
其他类型的栈
和拓扑叠加在一个类似于代数栈的定义，除了仿射方案基本范畴是由光滑流形拓扑空间范畴取代。通常可以定义的概念，一个n&-层或N&1栈，这大约是一种捆值在n&1类。这样做有几个不同的方式。1-sheaves如滑轮一样，和2-sheaves是堆叠相同。
集理论问题有与栈的理论通常一些小集基础理论问题，因为堆栈通常被定义为一定的仿函数类的集合，因此没有设置。有几种办法来处理这个问题：
一个能与Grothendieck宇宙工作：堆栈则是一些固定的Grothendieck宇宙类之间的函子，所以这些类和堆叠在一个较大的Grothendieck宇宙集。这种方法的缺点是，一个有足够的Grothendieck宇宙的存在，它本质上是一个公理。
一个可以定义堆仿函数的足够大的秩集集，并认真的记下各设置一个队伍使用。这里的问题是，它涉及到一些额外的相当累人的记账。
可以使用反射原理从集合论认为人可以找到的任何有限的片段的ZFC公理的模型表明，一个可以自动找到设置足够接近的所有集合的宇宙近似。
一个可以忽略的问题。这是许多作者所采取的方法。
正在加载...