来自2018的帖子

188 bet下载

沃尔夫拉姆的尖刺标志——扁平的菱形六面体

到处都是小穗

我们称之为“斯皮基“在我今天的生活中,到处都是:

金宝博188正网史蒂芬·沃尔夫拉姆被斯派克斯包围

它来自一个三维物体——一个称为菱形六十面体

三维菱形六面体

但它的故事是什么,我们是如何把它作为我们的象征的呢?

继续阅读

逻辑,可解释性与理解的未来

关于基本逻辑的发现

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

在符号逻辑中,一个引入符号Q代表“这是一篇有趣的文章”这样的陈述(或“主张”)。那么一个人就有了一定的“逻辑规则”,像那样,对于任何以及任何Q不是Q)与(不是不是Q

但是这些“逻辑规则”在哪里呢?来自何方?好,逻辑是一种形式系统。而且,就像欧几里得几何一样,它可以建立在公理之上。但是这些公理是什么呢?我们可以从以下事情开始Q=Q,或不是不是=.但是一个需要多少个公理呢?它们有多简单?

这是一个长期以来一直在争论的问题。但是周六晚上8:31,1月29日,2000,在我的电脑屏幕上弹出一个轴子。我已经证明了再简单不过了,但我很快就确定了这个小公理足以产生所有的逻辑:

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

((P·Q)·R)·(P·((P·R)·P))==R

但我怎么知道这是正确的呢?好,因为我有电脑证明。这是证据,我打印的时候在4点输入一种新的科学(而且它是现在可用Wolfram数据存储库):

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

30年来我们走过了漫长的路(但你还没有看到任何东西!)

金宝博188注销 金宝博188注销

30年的数学

长期技术

6月23日我们庆祝发射30周年属于数学软件.30年前的大多数软件现在已经不复存在了。但不是数学。事实上,在很多方面感觉就像30年后,我们才刚刚开始。我们的使命一直以来都是一个大问题:要使世界尽可能可计算,为每件事都添加一层计算智能。金宝博188投注

我们的第一大应用领域是数学(因此得名“mathematica”)。我们一直在推动数学的发展。但在过去的30年里,我们已经能够建立在我们在Mathematica 1创造整个计算能力的大厦,我们现在称之为金宝博188投注沃尔夫拉姆语-这和今天的数学是一致的。

从我第一次开始设计数学的时候,我的目标是建立一个经得起时间考验的系统,这将为我的未来的计算提供基础。很高兴看到一切顺利。我的原创语言设计的核心概念继续灌输我们所做的一切。这些年来,我们一直能够在现有的基础上继续建设,创造一个更高,更高的塔仔细整合的能力。

今天在旧电脑上启动Mathematica1.0很有趣,并与今天进行比较:

旧版Mac与iPhone 继续阅读

启动Wolfram挑战网站

Wolfram挑战

计算思维越多,金宝博188投注做得越好。今天我们将推出Wolfram挑战网站为每个人提供了一个基于金宝博188投注沃尔夫拉姆语.用它们来学习。用它们保持锋利。用它们来证明你有多伟大。

挑战的形式通常是:“编写一个函数来做x”。但是因为我们使用的是Wolfram语言,它内置了计算智能,所以很容易让x变得非常复杂。金宝博188投注

这个网站有一系列的挑战。有些对初学者有好处,而其他人即使是有经验的程序员和计算思想家也需要付出巨大的努力。金宝博188投注通常,每个挑战都至少有一些已知的解决方案,最多是几行Wolfram语言代码。但是这些代码行是什么?

继续阅读

从中了解未来2001年:太空漫游,五十年后

2001年:太空漫游

对未来的一瞥

当时是1968。我8岁。“太空竞赛”全力以赴。第一次,一个空间探测器最近降落在另一个行星(金星)上。我热切地研究我能利用空间做的一切。

然后在4月3日,1968年(英国5月15日)电影2001年:太空漫游被释放了,我很想看看。所以在1968年初夏,我在那里,我第一次去电影院(是的,这在英国被称为。我被送去看日场演出,几乎是剧院里唯一的人。直到今天,我记得我坐在一个豪华的座位上,热切地等待窗帘升起,电影即将开始。

它始于令人印象深刻的地外日出。但后来发生了什么?那不是太空场景。那些是风景,还有动物。我很困惑,坦率地说,有点无聊。但就在我开始担心的时候,有一根骨头被抛到空中,变成了一个航天器,很快,屏幕上出现了一个令人振奋的华尔兹和一个巨大的空间站。

继续阅读

Buzzword收敛:量子神经区块链人工智能的意义

不完全是胡闹

如果你把今天最流行的四个词串起来,会发生什么?结果有什么意义吗?鉴于今天是4月1日(也就是复活节的星期天),所以我觉得探索这个会很有趣。把它当作复活节彩蛋…一些有趣的东西可能会从中孵化出来。要说清楚:当我把这些流行语串在一起的时候,我要说的细节是完全真实的。

Buzzword聚合

继续阅读

随着另一个大版本的发布进入2018年:发布第11.3版的Wolfram语言和Mathematica

金宝博188注销 金宝博188注销

释放管道

去年九月我们发布了版本11.2沃尔夫拉姆语数学软件-有了各种新功能,包括100多个全新功能。11.2版是一个大版本。但今天我们有一个更大的版本:版本11.3那,除此之外,包括近120个全新功能.

今年6月23日,离我们发布版本1.0我为我们现在能够保持不少于30年的加速创新和发展而感到骄傲。这很关键,当然,事实上我们使用了沃尔夫拉姆语开发Wolfram语言,实际上,我们现在可以在11.3版本中添加的大部分内容都是可能的,因为我们正在利用我们已经系统地构建了30多年的庞大技术栈。

十一点三我们一直在进行大量的研发,我们的.1版本策略是使用它们来发布在特定时刻准备好的所有内容。有时.1版本中的内容可能无法完全填充新区域,其中一些函数可能被标记为“实验函数”。但是我们.1版本的目标是尽可能及时地提供我们研发工作的最新成果。整数(.0)版本的目标是更加系统化,全面覆盖新地区,在.1版本中逐步舍入已交付的内容。

除了11.3中的所有新功能外,我们的过程中有一个新的元素。几个月前开始,我们开始LiveStream内部设计审查会议当我们完成11.3版时我持有的。所以对于那些对“香肠的制作方法”感兴趣的人来说,现在有将近122会议记录时间,从中您可以确切地了解到11.3版中发布的一些东西最初是如何被发明出来的。在这篇文章中,我将链接到与我正在讨论的功能相关的特定录制的直播流。

有什么新鲜事吗?

好啊,那么11.3版有什么新功能呢?好,很多事情。而且,顺便说一句,11.3版现在两个版本都可以使用桌面(MAC)窗户,Linux)和钨云.(是的,它需要非常重要的软件工程,管理和质量保证以实现此类同步发布。)继续阅读

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

问题的性质

把外星人和小穗混淆了
比方说,我们有办法在太阳系(或更大的太阳系)周围分布信标,这些信标可以存活数十亿年,记录我们文明的成就。它们应该是什么样的?

很容易想到我所认为的二年级答案.但实际上,我认为这是一个深刻的,在某些方面无法解决的哲学问题,这与知识的基本问题有关,沟通和意义。

仍然,我的一个朋友最近开始认真努力建造小石英磁盘,等。,让他们搭上飞船,在太阳系周围沉积。起初我认为这一切都是徒劳的,但最终我同意做这个项目的顾问,至少试着找出我们能做的事情。

但是,好啊,有什么问题吗?基本上,它是关于在我们当前的文化和智力环境之外交流意义或知识。我们只需要想想考古学要知道这很困难。几千年前的石头排列到底是为了什么?有时我们可以很清楚地看到,因为它与我们当前文化中的某些东西很接近。但很多时候,这真的很难说。
继续阅读

?斯金宝博188正网蒂芬·沃尔夫拉姆,有限责任公司 条款γ RSS