海归网首页   海归宣言   导航   博客   广告位价格  
海归论坛首页 会员列表 
收 藏 夹 
论坛帮助 
登录 | 登录并检查站内短信 | 个人设置 论坛首页 |  排行榜  |  在线私聊 |  专题 | 版规 | 搜索  | RSS  | 注册 | 活动日历
主题: rationese语言----计算机语言的终结者,新文明的开端
回复主题   printer-friendly view    海归论坛首页 -> 海归商务 -> 项目找投资与合作           焦点讨论 | 精华区 | 嘉宾沙龙 | 白领丽人沙龙
  阅读上一个主题 :: 阅读下一个主题
作者 rationese语言----计算机语言的终结者,新文明的开端   
uda1341





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

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

海归分: 4371





文章标题: rationese语言----计算机语言的终结者,新文明的开端 (4876 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

返回顶端
阅读会员资料 uda1341离线  发送站内短信 发送电子邮件
显示文章:     
回复主题   printer-friendly view    海归论坛首页 -> 海归商务 -> 项目找投资与合作           焦点讨论 | 精华区 | 嘉宾沙龙 | 白领丽人沙龙 所有的时间均为 北京时间


 
论坛转跳:   
不能在本论坛发表新主题, 不能回复主题, 不能编辑自己的文章, 不能删除自己的文章, 不能发表投票, 您 不可以 发表活动帖子在本论坛, 不能添加附件可以下载文件, 
   热门标签 更多...
   论坛精华荟萃 更多...
   博客热门文章 更多...


海归网二次开发,based on phpbb
Copyright © 2005-2024 Haiguinet.com. All rights reserved.