前言:数学在人类文明的发展中起着非常重要的作用。牛顿当年通过数学计算预见了发射人造天体的可能性;爱因斯坦相对论的质能公式从数学论证的角度预示了原子能时代的来临;正是麦克斯韦方程先从数学上论证了电磁波,后来才会有电磁波声光信息传递技术的发展;电子数字计算机的诞生和发展更是在数学理论的指导下进行的。数学也是区块链发展的前提基础,是区块链行业未来发展的核心保障。如果说区块链中各种巧妙、完美设计的规则是其灵魂,那么深深渗透其中的数学思想则是血液,从而支撑整个区块链体系信任机制的建立。本文将浅析区块链世界里应用到的前沿数学理论,并以此尝试描述区块链世界的数学秩序。
【The symbol of God】
数学是上帝描述自然的符号 —— 黑格尔
数学一直是人类文明发展的主要文化力量,同时人类文化的发展又极大地影响了数学的进步;而且,数学还是一种艺术,因此,数学不但具有科学价值,还具有文化和经济的价值。
走进一个机房,在服务器排成的一道道墙之间,听着风扇的鼓噪,似乎能嗅出0和1在CPU和内存之间不间断的流动。从算筹算盘,到今天的计算机,我们用作计算的工具终于开始量到质的飞跃。计算机能做的事情越来越多,甚至超越了它们的制造者。上个世纪末,深蓝凭借前所未有的搜索和判断棋局的能力,成为第一台战胜人类国际象棋世界冠军的计算机,但它的胜利仍然仰仗于人类大师赋予的丰富国际象棋知识;而仅仅十余年后,Watson却已经能凭借自己的算法,先“理解”问题,然后有的放矢地在海量的数据库中寻找关联的答案。长此以往,工具将必在更多的方面超越它的制造者。而这一切,都来源于越来越精巧的计算。
也许你经常听过图灵机这个名字,但为什么计算机要被叫做图灵机呢?
在纽曼教授的数理逻辑课上,图灵第一次听到希尔伯特的可判定性问题以及哥德尔不完备性定理。那是1935年的春天,他刚刚完成在剑桥国王学院的四年本科学习,以优异的成绩被选为学院研究员,正准备在数学界大显身手,数理逻辑自然而然吸引了他的兴趣。图灵清楚地意识到,解决可判定性问题的关键,在于对“机械计算”的严格定义。考究希尔伯特的原意,这个词大概意味着“依照一定的有限的步骤,无需计算者的灵感就能完成的计算”,这在没有电子计算机的当时,算是相当有想象力又不失准确的定义。但图灵的想法更为单纯。什么是“机械计算”?机械计算就是一台机器可以完成的计算,这就是图灵的回答。
图灵的贡献是建立了图灵机的理论模型,奠定了人工智慧的基础
图灵机的一大优点,就是它的简单。只要给出状态转移表,任何一个人都可以模拟一台图灵机的计算。对工程师而言,在现实中用机械建造一台图灵机也并非什么难事。对于程序员来说,写一个模拟图灵机的简单程序更是不在话下。
没有根基也许可以建一座小屋,但绝对不能造一座坚固的大厦——Eng.Isidor Gold