海归论坛 :: 阅读主题 - rationese语言----计算机语言的终结者，新文明的开端

会员列表
收藏夹
论坛帮助

论坛首页 | 排行榜 | 在线私聊 | 专题 | 版规 | 搜索 | RSS | 注册 | 活动日历


主题: rationese语言----计算机语言的终结者，新文明的开端

海归论坛首页 -> 海归商务 -> 项目找投资与合作焦点讨论 | 精华区 | 嘉宾沙龙 | 白领丽人沙龙

分屏

表形显示

阅读上一个主题 :: 阅读下一个主题

作者

rationese语言----计算机语言的终结者，新文明的开端

uda1341

头衔: 海归中尉
声望: 讲师

加入时间: 2009/09/01
文章: 110

海归分: 4371

标题: rationese语言----计算机语言的终结者，新文明的开端 (5778 reads) 时间: 2010-12-16 周四, 22:49

作者：uda1341 在项目找投资与合作发贴, 来自【海归网】 http://www.haiguinet.com

不好意思标题党一下，以下继续标题党，请勿见怪：

为什么我们要用这么多种语言来编程？为什么这些语言无法互相沟通？为什么计算机语言不能像自然语言那样抽象？为什么发生在计算机中的那些事情，没有统一的精确的方式进行表达？

计算机的思想，以莱布尼茨所设想的理性语言之梦为开端，经过多年的发展，却形成了目前这种分崩离析的局面，问题到底在哪？

目前的一系列探索已经有了答案，通过一种具有时态描述能力，能够为计算机中所发生的所有过程进行静态与动态描述，通过多重自指从而具有丰富的表现力的语言体系，我们将有可能为这个分裂的现实划上一个句号。

这门语言基于一阶逻辑，通过自指从而具有高阶逻辑的描述能力，通过对时间的抽象从而具有时态逻辑的表达力，通过对自身逻辑运算过程的自省提高了逻辑运算的效率，通过对自然语言中的语法结构的分析，从而具有了接近自然语言的表现力，而不失去程序语言的精确性。

这是一门描述理性的语言，故而生造“rationese”单词做为名称。

它面向虚拟世界，表现力和抽象能力直达哲学的层次，借助分析哲学的辉煌成果，为存在，实在，归纳，证伪，因果，决定论，自由意志进行代码级别的建构，真正实现20-30年代分析哲学家们的理想---一门可用于哲学讨论的人工语言。

在实用性上，它在所有的计算机领域都具有压倒性的竞争力。

通过对各种语言的语义建模，将实现各种高级语言和计算平台的真正的相互翻译，这就可以直接继承已有的庞大的代码库，直接形成生产力，它不仅对程序，还对数据进行描述，统一数据格式成为真正的现实。

通过自然语言的语法构造，使得我们可以用最自然的方式，对企业流程，操作说明，功能定义进行描述，描述即代码。

通过完善其知识库，将对代码的编写过程变为人机通过约定语言进行交流的过程，提供最完美的帮助和语义约束，让程序不再bug缠身。

总之，这门语言终将取得与日常语言同等的地位，成为所有确定性领域的标准语言，不论是科学研究，还是政府公文，不论是军事计划，还是企业运营。

这门语言也将成为人类与计算机沟通的标准语言与桥梁，它描述确定性知识的同时，也在虚拟世界中重建我们的描述的对象。

它将成为新文明的开端。

后记：这篇半标题党半认真的东西是这会热血上涌写出来的，至少表示，会有这么一种可能性，一个可期望的前景。

至于谁会最终实现它，那是另外一个问题。

我现在做完了一个基于时态语义分析的调试程序的原型，正在为一个阶段性的实用成果而努力。这个阶段的成果可以为一些大型软件提供高级脚本语言，使其具有相当程度的灵活性，而语法是可以按照需求来定制的，这比一些既有的脚本语言方案要好。

有兴趣的可以看

https://www.douban.com/people/2977847/notes

尚未正式成文，比较散乱，见谅。

我期望在这个阶段有关于实用领域的一些研讨，有这方面可能需求(比如软件的定制性语言)，可以站内短信联系，或者发 [email protected]

作者：uda1341 在项目找投资与合作发贴, 来自【海归网】 http://www.haiguinet.com

上一次由uda1341于2010-12-17 周五, 02:55修改，总共修改了2次

相关主题
北京intel总部英文文档工程师职位（熟练翻译中英文计算机术语）	IT	2012-11-16 周五, 23:59
北京intel总部英文文档工程师职位（熟练翻译中英文计算机术语）	外语翻译	2012-11-16 周五, 23:57
[原创]中国信息大学招骋英语、计算机教师--北京	海归职场	2007-12-26 周三, 09:30
电子计算机、机器人与人类最伟大的宇宙精神/罗国正	艺术鉴赏	2016-4-21 周四, 12:01
[转帖][教学]为维护国家安全中国限制出口无人机和高性能计算机	项目找投资与合作	2015-8-04 周二, 22:19
三星通信研究院招聘计算机视觉与模式识别算法工程师	海归招聘	2015-1-12 周一, 11:18
[转帖] 中央机关采购计算机禁装Win8	海归主坛	2014-5-20 周二, 14:33
帮朋友晒个项目给给归坛子捧捧场 >> 乳腺计算机辅助诊断系统...	海归主坛	2014-4-26 周六, 11:21

返回顶端

rationese语言----计算机语言的终结者，新文明的开端 -- uda1341 - (1285 Byte) 2010-12-16 周四, 22:49 (5778 reads)

怎么解决逻辑规则的完整性？ -- coko - (17 Byte) 2010-12-18 周六, 02:10 (617 reads)

封闭性的含义是自洽？可判定？能否多给点提示 -- uda1341 - (0 Byte) 2010-12-18 周六, 02:16 (539 reads)

好像uda的头很痒，很渴望拍砖的样子，那我就来拍一个吧！ -- Sarakawa - (521 Byte) 2010-12-18 周六, 00:43 (793 reads)

唉，终于来了。 -- uda1341 - (1898 Byte) 2010-12-18 周六, 01:26 (749 reads)

好想法，应用领域颇多，比如现在最热的网络安全主动监控。 -- 绽铃子 - (58 Byte) 2010-12-19 周日, 01:56 (500 reads)

你这么喜欢讨论，那么我再给你丢几块砖头吧！ -- Sarakawa - (728 Byte) 2010-12-18 周六, 02:13 (648 reads)

看得这么认真啊，连这点马虎眼都抓住了 -- uda1341 - (515 Byte) 2010-12-18 周六, 02:29 (623 reads)

我觉得引入时态可能会很要命。 -- Sarakawa - (86 Byte) 2010-12-18 周六, 02:56 (650 reads)

历史数据量大得不得了，怎么分析。所以，还是一个贝叶斯网络的应用。 -- 绽铃子 - (9 Byte) 2010-12-19 周日, 11:25 (634 reads)

看帖不认真，我还是打比方吧，最后一招了。 -- uda1341 - (364 Byte) 2010-12-19 周日, 14:37 (534 reads)

有没有前途不知道，给uda点儿精神支持吧！ -- Sarakawa - (159 Byte) 2010-12-19 周日, 12:27 (677 reads)

就你提到的这个，我有点兴趣 -- uda1341 - (397 Byte) 2010-12-19 周日, 14:55 (663 reads)

你现在还在空想社会主义阶段，连多线程都还没考虑 -- Sarakawa - (68 Byte) 2010-12-19 周日, 23:57 (579 reads)

细节在我几十篇日记和十万多字的笔记还有一堆验证代码里面，你要看不？ -- uda1341 - (118 Byte) 2010-12-20 周一, 00:34 (623 reads)

大家找找乐子就好了，太hard core的看下去会要命的。 -- Sarakawa - (63 Byte) 2010-12-20 周一, 11:56 (644 reads)

有一种说法：不懂FPGA的，不是计算机科学家。快速处理大量数据，非要上FPGA这个神器不可。 -- 绽铃子 - (0 Byte) 2010-12-19 周日, 13:49 (598 reads)

补充：宝刀不老的John McCarthy -- uda1341 - (158 Byte) 2010-12-18 周六, 01:40 (523 reads)

搞得玄之又玄，说明你还没有想清楚。 -- 绽铃子 - (10 Byte) 2010-12-17 周五, 19:57 (703 reads)

跟贝叶斯网络半毛钱关系都没有。 -- uda1341 - (0 Byte) 2010-12-17 周五, 20:21 (525 reads)

奇怪了，为啥没有CS的小牛大牛冒泡开展批斗呢 -- uda1341 - (311 Byte) 2010-12-17 周五, 18:45 (714 reads)

不是三缺一，是一缺三。 -- tutu - (70 Byte) 2010-12-17 周五, 21:16 (633 reads)

好吧。 -- uda1341 - (16 Byte) 2010-12-17 周五, 21:22 (675 reads)

怎么赚钱？投资多少？什么时候开始有成品卖？谁买？ -- tutu - (0 Byte) 2010-12-17 周五, 22:24 (580 reads)

附耳过来 -- uda1341 - (163 Byte) 2010-12-18 周六, 15:02 (670 reads)

买小作坊，等于带钱过来打工 -- tutu - (20 Byte) 2010-12-18 周六, 18:22 (607 reads)

这不你说投资投资，我觉得这方案才勉强靠谱。 -- uda1341 - (369 Byte) 2010-12-18 周六, 19:03 (614 reads)

可是前面说：“我要靠这个赚大钱，o(╯□╰)o ”，没见说到怎么赚大钱啊 -- tutu - (0 Byte) 2010-12-18 周六, 19:14 (604 reads)

不可说不可说，说什么都是假的，都是让你给逼的 -- uda1341 - (66 Byte) 2010-12-18 周六, 19:18 (599 reads)

有个小作坊那是好事 -- tutu - (154 Byte) 2010-12-19 周日, 08:35 (508 reads)

[转帖]有人说，世界上有了统一的语言，这个世界就会毁灭，是吗？ -- nanonano - (38 Byte) 2010-12-17 周五, 13:48 (765 reads)

有个著名的日本国际电气通信基础技术研究所（ATR）听说过吗？有过这个研究课题 -- 禾乃才 - (11 Byte) 2010-12-17 周五, 10:49 (1000 reads)

不知道，莫非有关日本曾经的第五代计算机计划？ -- uda1341 - (44 Byte) 2010-12-17 周五, 12:17 (605 reads)

ur sample code looks very much like python -- Ah-lei - (24 Byte) 2010-12-17 周五, 04:45 (720 reads)

怪哉啊，怎么看见代码了？还没确定语法呢 -- uda1341 - (46 Byte) 2010-12-17 周五, 04:57 (593 reads)

yeah, ur right. It's ur pseudo-code... -- Ah-lei - (2 Byte) 2010-12-17 周五, 05:25 (554 reads)

看不太明白，好像很cool，给你加颗星。 -- Sarakawa - (57 Byte) 2010-12-17 周五, 01:42 (466 reads)

可并列海龟网三大项目:新CPU, 新网络(ipv9)，新编程语言 -- tchs - (0 Byte) 2010-12-17 周五, 01:13 (565 reads)

区别在哪？ -- tutu - (0 Byte) 2010-12-17 周五, 21:17 (448 reads)

顶！想法不错，细节需要定下来。 -- 黄埔半期 - (0 Byte) 2010-12-17 周五, 00:35 (429 reads)

民科 -- Llong - (0 Byte) 2010-12-17 周五, 00:18 (490 reads)

谢谢，本来就是民科哇。 -- uda1341 - (181 Byte) 2010-12-17 周五, 18:27 (449 reads)

如果兄台能解决不同人类语言之间的机器翻译问题,那rationese就会是“中级语言” -- xmen03 - (0 Byte) 2010-12-16 周四, 23:02 (539 reads)

人类语言是个火坑，等价于强人工智能。 -- uda1341 - (76 Byte) 2010-12-16 周四, 23:06 (520 reads)

显示文章:

海归论坛首页 -> 海归商务 -> 项目找投资与合作焦点讨论 | 精华区 | 嘉宾沙龙 | 白领丽人沙龙

所有的时间均为北京时间

您不能在本论坛发表新主题, 不能回复主题, 不能编辑自己的文章, 不能删除自己的文章, 不能发表投票, 您 不可以 发表活动帖子在本论坛, 不能添加附件可以下载文件,

热门标签

更多...

论坛精华荟萃

更多...

博客热门文章

更多...