【发布时间】：2014-02-27 16:14:06
【问题描述】：
Wolfram 即将发布其“基于知识的编程语言”，但它真的是和 C#、Java 等一样的真正的编程语言吗？
为了避免过于主观，我将澄清“真正的编程语言”是指：图灵完备吗？
【问题讨论】：
-
定义“真正的编程语言”。否则，这只是征求意见。
标签： turing-complete wolfram-language
【发布时间】：2014-02-27 16:14:06
【问题描述】：
对你来说，什么才是“真实的”？你的意思是图灵完备？
一般来说，要使命令式语言成为图灵完备的，它需要：
条件重复或条件跳转的一种形式（例如，while、if+goto）
一种读取和写入某种存储形式（例如，变量、磁带）的方法
在 Venture Beat 对 Wolfram 宣布他们编写的语言的报道中：
换句话说，“南美洲”不是要赋值的变量，也不是要实例化的对象或类。这是一个众所周知和理解的短语，具有重要意义和联系，可以毫不费力地将其拉入您的程序，并且无需外部数据源。而且，该知识源不断更新和增长，以适应不断更新和变化的世界。
这听起来好像该语言的重点是 Wolfram 数据库以及处理这些数据的各种方法。
Wolfram 本人进一步谈到了这种语言
“自动化水平比人们以往任何时候都高得令人难以置信——它非常强大，”Wolfram 说。 “WolframAlpha 知道的任何事情，您的应用程序都知道。”
这听起来像是我们正在研究的一种脚本语言，旨在利用 Wolfram Alpha 的数据 + 搜索算法组合。
【讨论】：
-
它不是任何普通意义上的脚本语言。它是一种符号操作语言，就像定理证明器一样。但是，是的，我很有信心它是图灵完备的。