逻辑,Explainability和未来的理解

关于基本逻辑的发现徳赢彩票游戏

逻辑是许多事物的基础。但是逻辑本身的基础是什么??

在符号逻辑中,其中引入了如下符号代表语句(或“命题““喜欢”这是一篇有趣的文章.那么就有了确定的逻辑规则,像那样,对于任何和任何,,不是()是一样的(不是(不是)。

但是这些在哪里逻辑规则来自何方?好,逻辑是一个形式系统。而且,就像欧几里德的几何学,它可以建立在公理的基础上。但什么是公理?我们可以从以下事情开始=,或不是不是=.但是一个人需要多少个公理呢?以及简单的如何??

这个问题唠叨了很长时间。但是星期六晚上8点31分,1月29日2000年,在我的电脑屏幕上弹出一条公理。我已经不可能有什么简单,但我很快确定这个小公理足以产生所有的逻辑:

Wolfram的布尔代数公理的需要生成所有的逻辑
γ

((p·q)·r)·(p·((p·r)·p))==r

但是我怎么知道它是正确的吗?好,因为我有一个计算机证明了这一点。这是证据,,当我打印它在4点类型一种徳赢中国新型的科学(这是现在可用Wolfram数据仓库):

布尔代数Wolfram公理的计算机证明 继续阅读

我们在30年里走了很长的路(但是你还没有看到任何东西!))

30年的数学

长期技术

6月23日,我们庆祝发射30周年属于Mathematica.大多数软件从30年前已经消失很久了。但不是Math.a。事实上,甚至在很多方面都像是在30年之后,我们刚刚开始。我们的使命一直以来都是一个大问题:让世界尽可能的可计算,并且给每样东西增加一层计算智能。

我们第一个大的应用领域是数学(因此得名)Mathematica)。我们一直在努力探索数学的前沿。但在过去30年里,我们已经能够在我们在Mathematica 1创建整个大厦的计算能力,我们现在所称的Wolfram语言-这相当于今天的Math.a。

从我第一次开始设计Math.a开始,我的目标是建立一个经得起时间考验的系统,这将为我的未来的计算提供基础。看到这一切进展得多么顺利,真令人兴奋。我原来的语言设计的核心概念继续注入我们所做的一切。这些年来,我们能够在已经存在的基础上继续建设,创建一个高和仔细塔高集成功能。

数学很有趣今天推出1.0在旧电脑,与今天相比:

旧的Mac和iPhone 继续阅读

启动站点Wolfram的挑战

钨矿挑战

计算思维越多,更好的一个人。今天我们推出的钨矿挑战基于Wolfram语言.使用它们来学习。用它们保持锋利。用它们来证明你有多伟大。

通常有挑战的形式:“编写函数执行X”.但是,因为我们使用的是Wolfram语言,它具有所有内置的计算智能,所以很容易使X非常复杂。

该网站有一系列级别的挑战。有些是适合初学者,而另一些则需要认真的努力,即使对于有经验的程序员和计算思想家也是如此。通常,每个挑战至少都有一些已知的解决方案,即最多几行Wolfram语言代码。但是这些代码行是什么??

继续阅读

从徳赢彩票游戏2001:太空漫游,五十年后

2001:太空漫游

未来一瞥

当时是1968。我八岁了。“太空竞赛正如火如荼地进行着。这是第一次,最近一个太空探测器降落在另一个星球(金星)。我热切地研究着与空间有关的一切。

然后在4月3日,1968(5月15日在英国),这部电影2001:太空漫游释放,我希望看到它。所以在1968年的初夏,我第一次去真正的电影院(是的,在英国,人们称之为。我被安排去看日场,几乎是剧院里唯一的人。这一天,我记得坐在豪华的座位,急切地等待着窗帘上,和电影开始。

它开始于令人印象深刻的地外日出。但是后来发生了什么?那些不是太空场景。那是风景,和动物。我很困惑,坦白说,有点无聊。但是就在我担心的时候,有一个骨头扔在空中,演变成宇宙飞船,不久,一曲激动人心的华尔兹舞曲和一座巨大的空间站隆重地出现在屏幕上。

继续阅读

流行语收敛:量子神经连锁人工智能的意义

不完全愚弄

如果你把今天最流行的四个流行词串在一起,会发生什么?结果有什么意义吗?鉴于今天是4月1日(作为复活节)我认为这是有趣的探索。把它当作复活节彩蛋…的一些有趣的事就会孵化。并且要澄清:当我在混日子,把流行语串在一起,我在这里要说的是完全的细节真实。

Buzzword收敛

继续阅读

随着另一个大版本的到来咆哮到2018年:发布Wolfram语言与数学的11.3版

释放管道

去年九月我们发布了版本11.2Wolfram语言Mathematica-具有各种新功能,徳赢中国包括100+全新的功能。徳赢中国11.2版是一个巨大的释放。但是今天我们有一个更大的版本:版本11.3那,除此之外,包括近120个全新的功能徳赢中国.

今年6月23日,我们将有30年的时间了。发布版本1.0,我非常自豪的是,我们现在能够保持不断加快的创新和发展速度达30多年之久。对此至关重要,当然,我们使用Wolfram语言开发Wolfram语言——事实上大部分的事情我们现在可以加入11.3版本只可能因为我们利用巨大的堆技术,我们已经系统地构建了30多年。

11.3我们总是有一个大的管道的研发,我们对于.1版本的策略是使用它们来发布在特定时刻准备好的所有内容。有时.1版本中的内容可能无法完全填充新区域,徳赢中国并且一些功能可以被标记为“实验”.但与1。我们的目标是能够提供最新的版本我们的研发成果努力尽可能及时的基础。整数(.0)版本的目标是更加系统,并提供新领域的全覆盖,徳赢中国排什么一直在逐步交付。1版本。

除了11.3中的所有新功能之外,徳赢中国我们的过程有一个新的徳赢中国元素。几个月前开始,我们开始现场直播内部设计审查会议当我完成11.3版本时,我持有它。所以对于那些感兴趣”香肠是怎样做的,现在有近122小时的会议记录,从这里您可以确切地了解到在版本11.3中发布的一些东西最初是如何被发明的。在这个帖子里,我要链接到特定的记录liverstream我讨论相关特性。

有什么新鲜事吗徳赢中国??

好啊,那么11.3版本有什徳赢中国么新特性呢?好,很多事情。而且,顺便说一句,版本11.3今天在两者上都可用桌面(Mac)窗户,Linux)和钨云.(是的,这需要极其重要的软件工程,管理和质量保证以实现这种同时发布。)继续阅读

向宇宙炫耀:我们文明来世的灯塔

问题的本质

混淆了外星人和斯皮基
比方说,我们有办法在太阳系(或更远的地方)周围分发能够存活数十亿年的信标,记录我们文明的成就。它们应该是什么样子的??

我很容易想出我认为是什么样的人大二答案.但在现实中,我认为这是一个深层次的,在某些方面无法解决的哲学问题,这与关于知识的基本问题有关,徳赢彩票游戏交流和意义。

仍然,我的一个朋友最近创办了严肃的工作建造小石英圆盘,等。,,让他们搭乘宇宙飞船,沉积在太阳系周围。起初,我认为一切都是徒劳的,但最终我同意担任该项目的顾问,至少试着找出我们能够做到的程度。

但是,好啊,有什么问题吗?基本上是关于交流意义或知识外我徳赢彩票游戏们当前的文化和知识背景。我们只需要关于考古学的徳赢彩票游戏思考知道这是很难的。几千年前的一些石头到底是做什么用的?有时我们几乎可以说,因为它与我们当前文化中的某些东西很接近。但是很多时候很难说。
继续阅读

我整天做什么?流媒体技术CEOO

抓住当前转播画面,或者观看现场直播这里

想在公共场合

我一直担任首席执行官沃尔夫勒姆研究公司30多年来。但这实际上需要什么?在一般情况下,我最终会做什么?我肯定努力工作。但我认为我并不特别像我们这样规模的科技公司的首席执行官。因为对于我来说,我的大部分时间都花在了解我们的产品应该如何设计和架构的前沿,以及他们应该做什么。

三十年前我自己主要做了这个。但是现在,我几乎总是和800名左右的员工一起工作。我喜欢非常互动地做事。事实上,在过去的15年左右我花费了大量的时间做我经常所说的“公开思考:解决问题和决策与他人生活在会议。

我经常被问及这是如何工作的,我们的会议到底发生了什么。最近我意识到:有什么比仅仅转播画面我们有很多实际的会议?因此,在过去的几个月,我转播画面超过40小时的内部会议效果在我所做的每个人在幕后,我们的产品是如何创建的。(是的,河流也同样如此归档的

liverstream首席执行官

继续阅读

计算的文章是什么??

表达思想的有力方式

人们习惯于用散文,有时也用图片来表达自己。但在现代计算时代,新事物成为可能,我想徳赢中国打电话计算论文.

我一直致力于建设技术支持计算论文几十年来,但这只是最近,我意识到多么中央计算论文可以对人们的学习方式,和他们沟通事实和想法的方式。未来的专业人士将例行地将结果和报告作为计算论文。教育者将例行地使用计算论文来解释概念。学生将例行制作计算论文作为课堂作业。

下面是一个非常简单的计算文章示例:

简单的计算文章示例

继续阅读

如果你拉伸所有的鱼,它们的形状都一样吗?维多利亚时代的故事对经济增长和形式

有全球理论形状的鱼呢?这种事我可能会感到鼓励,要求我的探索简单的程序以及他们生产的形式.但对大多数的生物学的历史,这不是任何人都会问的那种事情。但有一个例外:D奇温特沃斯·汤普森。

现在100年过去了达奇汤普森出版了他的第一版巨著对经济增长和形式并试图利用数学和物理学的观点来讨论生物生长和形式的全球性问题。也许他书中最有名的几页是关于鱼形的:徳赢彩票游戏

D'Arcy Thomspon和鱼草图

继续阅读

_斯vwin中国蒂芬·沃尔夫拉姆,有限责任公司 条款γ RSS