已屏蔽 原因:{{ notice.reason }}已屏蔽
{{notice.noticeContent}}
~~空空如也
--创世纪

    ....
    - 神看光是好的,就把光暗分开了。
    - 神称光为昼,称暗为夜。有晚上,有早晨,这是头一日。
    - 神说,诸水之间要有空气,将水分为上下。
    ....
    ....
    - 神说,天上要有光体,可以分昼夜,作记号,定节令,日子,年岁。
    - 并要发光在天空,普照在地上。事就这样成了。
    - 于是神造了两个大光,大的管昼,小的管夜。又造众星。
    - 就把这些光摆列在天空,普照在地上。
    ....
    ....
    - 于是神造出野兽,各从其类。牲畜,各从其类。地上一切昆虫,各从其类。神看着是好的。
    - 神说,我们要照着我们的形像,按着我们的样式造人,使他们管理海里的鱼,空中的鸟,地上的牲畜,和全地,并地上所爬的一切昆虫。
    - 神就照着自己的形像造人,乃是照着他的形像造男造女。
    ....
    ....

"知道我为什么从不担心人类会拥有与我抗衡的实力么" 上帝抱着人类世界的圣经,询问天使们。

“因为他们只会按照他们自己的思维方式去揣测您的想法,他们总是以为您和他们是一样的,他们只能看到事物的表面,他们只在需要的时候创造需要的东西,总以为创造出的东西就是不变的,总觉得改变就是推翻。他们会为了您的存在而否定进化论,或是因为进化论而否定您,正是因为他们以为您创造的一切都如同他们制造的东西一般不会改变。他们以为自己懂得创造,事实上永远都是劳动者,他们不懂得创造的真谛不是制造而是推动。他们看不见这个宇宙,因为他们看着这个宇宙。” 天使诃息回答到。

“没错,人类诞生了一批又一批制造者,农民,诗人,工程师,程序员,每次总让我觉得自己的地位收到了威胁,然而每次又总让我觉得失望。他们永远摆脱不了制造-使用-再制造的悲苦命运。在计算机诞生,人们真正懂得可以用编码的方式描述世界的一切的时候,尤其是当lisp的诞生告诉了人们数据与程序的统一性,元编程的理念让人们开始创造面向编程的编程的时候,我一度以为他们要崛起了,但最终软件工程仍然停留在人类制造业的水准,人们永远徘徊在制造工具-制造产品的循环之中不能自拔。他们不跳出这个圈子,再怎么发展,依然不能够拥有我的力量。就像古代的人们可以不断提高盔甲的制造工艺,但若没有真正的化学的出现,盔甲制造的再精,也比不上现在人类的一件防弹衣。他们不跳出这个圈子,就永远不懂得产品即是工具,工具即是产品,就永远不懂得产品即是产品自己的工具。”

“此话怎讲” 库勒悄悄缩短了循环周期。

“想知道创世纪那七天,我究竟做了些什么吗” 上帝问道。

众天使环坐,洗耳倾听。

“第一天,我创建了两个元,一个作为其他元的容器,人类把它叫做空间。。。当然,也有人叫他,沙箱。另一个元规定了所有的元都是可衡量的,我称他为。。数”
“第二天,我创建了另一个元,为了能够使得空间中的其他元在不同的状态间按照一定步长分离,也为了同步各元的变换。我叫她,时间。”
“第三天,我在空间元创建了一组元,这组元在空间元上表现出各种各样的行为,我发现这组元的行为可以总结为两种模式,一种我叫他粒子模式,一种叫波模式。我称这组元为量子”
“第四天,我创造了一种元,可以作为量子元的一种信息载体,也能够影响量子元的行为。我叫他能量”
“第五天,我创造了量子之间的四种相互作用方式。”
“第六天,我为这些元确定了他们最初的值”
“第七天,也就是现在,最长的一天,我一直在休息,欣赏着已经变得如此美丽的宇宙。宇宙是我的产品吗,不,宇宙是宇宙自己的产品,我只是创造了这些元”

“可是这并不完美” 刚刚第65536次修剪过自己的羽翼,一身疲惫的阿姆拉说,“这样你还是创造了太多不同的元。而按照美的定义,你应该只创造一种元啊”

“我确确实实只创造了一种元啊”上帝笑到,“四种基本力是什么,那是作用于量子之上的一组规则,能量是什么,那是作用于量子的另一组规则。而我在空间上创立了一组规则,这组规则在一起互相作用的行为便是一个量子,那么量子也是一组规则啊,时间是衡量规则下的一个状态到同一规则下另一个状态的改变的规则,而状态是检验规则的规则,空间又是容纳其他规则的规则,那么数又是什么,有了增加、减少、守恒三个规则,不就有了数吗,那么数不也是规则吗?而创建宇宙的初始值便是几个数,也便是几组规则了”

“确实,元即是一组规则,创造了规则即是创造了宇宙。而我将有一天打破这些规则” 亚伯汗说。

“那也只是让一些规则变成另一些规则罢了,规则是什么,规则的本质便是自己与其他规则如何互相作用。人类发展出了最接近我的行业——编程,因为编程即是用规则谱写世界,然而人类自己却从未意识到这一点,依旧按照工具-产品的方式去编写程序。真是悲哀。”

“然而人类在冥冥之中也认识到了这个问题,不是吗?” 天使瑰洱说。

“确实,图灵机诞生时我着实吓坏了,那是人类想到的第一个通过规则描述规则的机器。而后各种编程语言的诞生也实在令我担惊受怕,当人们喜欢函数超过过程的时候,我担心他们发现函数的表现力来自于她是一种更纯粹的规则——多个自变量的输入,单个应变量输出的规则。当人们把数据封装成结构体的时候,我担心他们发现规则自由组合带来的强大与便捷,当事件驱动兴起时,我更加担心了,因为他们很容易就能透过事件这层薄薄的表象,看到那其实就是规则引起的状态变换,触发新规则作用的一种规则。”

“然而这些都不是你最害怕的,不是吗” 帛曳以299792km/s的速度停留在视界上。

“在LISP诞生的时候,我出了一身的冷汗,当时我以为人类真的要能够看穿我了。这样一个语言,每个角度上都像人类传达着宇宙的信息。她告诉人类数据和程序是一致的,就能带给人一切皆规则的启发;她告诉人类函数式编程的高效,而函数本质就是一种规则。她甚至拥有那么强大的元编程能力,随时可以让人类觉醒,明白产品即是工具。但人类依旧只看到了表象,依旧拘泥于自己的思想,甚至于lisp的不同方言支持者们之间还会为了表面的现象展开骂战。人们赞赏lisp,说她统一了程序与数据成就了简单美,却说不清这种美来自何方;说她的函数式编程直观高效,却不知lisp为何比其他函数式语言强大;说她的s-表达式和宏带来了无与伦比的元编程能力,却说不清这种进化性是如何被赋予。人们从来不知道这些优势来源于同一个特征 —— lisp是面向规则的编程语言。”

“那么还有一样东西你应当害怕的,叫做Prolog。” 切西亚说到。

“没错。不过Prolog的局限性还是大了。只怕这两个语言会结合起来。更可怕的是人类若是发现了函数仅仅是众多规则集的一种,那就真的有能力像你们一样创造自己的世界了” 上帝对撒思姆,亚伯汗与瑰洱深深凝望道。





------------------------------------------------
本文第三部分见10楼
文号 / 437648

万流景仰
名片发私信
学术分 21
总主题 345 帖总回复 2157 楼拥有证书:学者 机友 笔友
注册于 2007-07-10 01:49最后登录 2024-02-22 11:04
主体类型:个人
所属领域:无
认证方式:手机号
IP归属地:未同步

个人简介

暂未填写
文件下载
加载中...
{{errorInfo}}
{{downloadWarning}}
你在 {{downloadTime}} 下载过当前文件。
文件名称:{{resource.defaultFile.name}}
下载次数:{{resource.hits}}
上传用户:{{uploader.username}}
所需积分:{{costScores}},{{holdScores}}下载当前附件免费{{description}}
积分不足,去充值
文件已丢失

当前账号的附件下载数量限制如下:
时段 个数
{{f.startingTime}}点 - {{f.endTime}}点 {{f.fileCount}}
视频暂不能访问,请登录试试
仅供内部学术交流或培训使用,请先保存到本地。本内容不代表科创观点,未经原作者同意,请勿转载。
音频暂不能访问,请登录试试
投诉或举报
加载中...
{{tip}}
请选择违规类型:
{{reason.type}}

空空如也

插入资源
全部
图片
视频
音频
附件
全部
未使用
已使用
正在上传
空空如也~
上传中..{{f.progress}}%
处理中..
上传失败,点击重试
等待中...
{{f.name}}
空空如也~
(视频){{r.oname}}
{{selectedResourcesId.indexOf(r.rid) + 1}}
处理中..
处理失败
插入表情
我的表情
共享表情
Emoji
上传
注意事项
最大尺寸100px,超过会被压缩。为保证效果,建议上传前自行处理。
建议上传自己DIY的表情,严禁上传侵权内容。
点击重试等待上传{{s.progress}}%处理中...已上传,正在处理中
空空如也~
处理中...
处理失败
加载中...
草稿箱
加载中...
此处只插入正文,如果要使用草稿中的其余内容,请点击继续创作。
{{fromNow(d.toc)}}
{{getDraftInfo(d)}}
标题:{{d.t}}
内容:{{d.c}}
继续创作
删除插入插入
插入公式
评论控制
加载中...
文号:{{pid}}
加载中...
详情
详情
推送到专栏从专栏移除
设为匿名取消匿名
查看作者
回复
只看作者
加入收藏取消收藏
收藏
取消收藏
折叠回复
置顶取消置顶
评学术分
鼓励
设为精选取消精选
管理提醒
编辑
通过审核
评论控制
退修或删除
历史版本
违规记录
投诉或举报
加入黑名单移除黑名单
查看IP
{{format('YYYY/MM/DD HH:mm:ss', toc)}}
ID: {{user.uid}}